Automatic bug fixingAutomatic bug-fixing is the automatic repair of software bugs without the intervention of a human programmer. It is also commonly referred to as automatic patch generation, automatic bug repair, or automatic program repair. The typical goal of such techniques is to automatically generate correct patches to eliminate bugs in software programs without causing software regression. Automatic bug fixing is made according to a specification of the expected behavior which can be for instance a formal specification or a test suite.
LispLisp est la plus ancienne famille de langages de programmation à la fois impératifs et fonctionnels. Développé initialement en tant que modèle pratique pour représenter des programmes (par contraste avec la notion théorique de machine de Turing), il est devenu, dans les années 1970 et 80, un des langages de choix (comme le langage Prolog) pour la recherche en intelligence artificielle. Les langages Lisp sont aujourd'hui utilisés dans de nombreux domaines, de la programmation Web à la finance, et dans certains cursus de formation en informatique.
Programmation purement fonctionnelleEn informatique, la programmation purement fonctionnelle est un paradigme de programmation qui considère toutes les opérations comme l'évaluation de fonctions mathématiques. L'état et les objets immuables sont généralement modélisés à l'aide d'une logique temporelle, en tant que variables explicites représentant l'état du programme à chaque étape de son exécution : l'état d'une variable est transmis en tant que paramètre d'entrée d'une fonction de transformation d'état, qui renvoie l'état mis à jour en tant que partie de sa valeur de retour.
Expérience de mort imminentevignette|upright=1.2|L'Ascension vers l'empyrée de Jérôme Bosch est associée par les chercheurs sur l'expérience de mort imminente aux aspects de la vision du tunnel Expérience de mort imminente ou EMI (en anglais, imminent death experience ou IDE ou encore NDE, near death experience) est une expression désignant un ensemble de « visions » et de « sensations » exceptionnelles vécues par des individus confrontés à leur propre mort (mort clinique, coma avancé ou simple perception de leur mort imminente, que le danger soit réel ou simplement perçu comme tel).
Expérience de hors-corpsL’expérience de hors-corps (out-of-body expérience ou OBE en anglais) désigne une expérience vécue par un individu impliquant la sensation de flotter en dehors du corps. À la différence de l'autoscopie où le sujet se voit sans avoir nullement la sensation de quitter son corps, et dont le phénomène est souvent tout à fait ordinaire (reflet dans un miroir, photographie, etc.), et parfois hallucinatoire (voir l'expérience de dédoublement décrite par Goethe dans Poésie et Vérité) dans l'expérience de hors-corps, le sujet prétend avoir aperçu son corps depuis un autre endroit que celui qu'il occupe.
