Publication
Querypoint : Moving Backwards on Wrong Values in the Buggy Execution
Related concepts (25)
Automatic bug fixing
Automatic 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.
Lisp (programming language)
Lisp (historically LISP, an acronym for list processing) is a family of programming languages with a long history and a distinctive, fully parenthesized prefix notation. Originally specified in 1960, Lisp is the second-oldest high-level programming language still in common use, after Fortran. Lisp has changed since its early days, and many dialects have existed over its history. Today, the best-known general-purpose Lisp dialects are Common Lisp, Scheme, Racket and Clojure.
Purely functional programming
In computer science, purely functional programming usually designates a programming paradigm—a style of building the structure and elements of computer programs—that treats all computation as the evaluation of mathematical functions. Program state and mutable objects are usually modeled with temporal logic, as explicit variables that represent the program state at each step of a program execution: a variable state is passed as an input parameter of a state-transforming function, which returns the updated state as part of its return value.
Near-death experience
A near-death experience (NDE) is a profound personal experience associated with death or impending death which researchers describe as having similar characteristics. When positive, which the great majority are, such experiences may encompass a variety of sensations including detachment from the body, feelings of levitation, total serenity, security, warmth, joy, the experience of absolute dissolution, review of major life events, the presence of a light, and seeing dead relatives.
Out-of-body experience
An out-of-body experience (OBE or sometimes OOBE) is a phenomenon in which a person perceives the world from a location outside their physical body. An OBE is a form of autoscopy (literally "seeing self"), although this term is more commonly used to refer to the pathological condition of seeing a second self, or doppelgänger. The term out-of-body experience was introduced in 1943 by G. N. M. Tyrrell in his book Apparitions, and was adopted by researchers such as Celia Green, and Robert Monroe, as an alternative to belief-centric labels such as "astral projection" or "spirit walking".