abstract interpretation
11Abstract State Machine — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… …
12Abstract State Machines — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationalen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… …
13Abstract syntax tree — Arbre syntaxique abstrait Pour les articles homonymes, voir AST. En informatique, un arbre syntaxique abstrait (abstact syntax tree ou AST en anglais) est un arbre avec des labels dont les nœuds internes sont marqués par des opérateurs et dont… …
14interpretation — in•ter•pre•ta•tion [[t]ɪnˌtɜr prɪˈteɪ ʃən[/t]] n. 1) the act of interpreting; elucidation; explication 2) the meaning assigned to another s creative work, action, behavior, etc 3) oral translation 4) the performing of a dramatic part, music, etc …
15Abstrakte Interpretation — Die abstrakte Interpretation ist eine Methode aus dem Bereich der Programmanalyse. Ziel der abstrakten Interpretation ist es Informationen über das Verhalten von Programmen (Analyse der Semantik) zu bekommen, indem man von Teilen des Programms… …
16Ensemble Interpretation — The Ensemble Interpretation, or Statistical Interpretation of quantum mechanics, is an interpretation that can be viewed as a minimalist interpretation; it is a quantum mechanical interpretation that claims to make the fewest assumptions… …
17Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… …
18Many-worlds interpretation — The quantum mechanical Schrödinger s cat paradox according to the many worlds interpretation. In this interpretation every event is a branch point; the cat is both alive and dead, even before the box is opened, but the alive and dead cats are in… …
19Bohm interpretation — The Bohm interpretation of quantum mechanics, sometimes called Bohmian mechanics, the ontological interpretation, or the causal interpretation, is an interpretation postulated by David Bohm in 1952 as an extension of Louis de Broglie s pilot wave …
20Warren abstract machine — In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set [War83] . This design became known as the Warren Abstract Machine (WAM) and has become the de facto… …
