Warren's Abstract Machine
- Warren's Abstract Machine
-
Warren’s Abstract Machine (WAM) bezeichnet in der Informatik einen 1983 von David H. D. Warren spezifizierten idealen Prozessor, dessen Maschinensprache als Zielsprache für Prolog-Übersetzer oder -Interpreter dient. Man spricht auch von einer virtuellen Maschine, da es den WAM-Prozessor nicht real als Hardware (z. B. in Silizium gefertigt) gibt, sondern nur als Software.
Nach der Übersetzung in WAM-Code können Prolog-Programme von einer WAM-Implementierung auf dem Laufzeitsystem ausgeführt werden, also einem WAM-Interpreter, der diesen idealen Prozessor simuliert. Alternativ kann wie bei GNU Prolog der WAM-Code als Zwischencode benutzt werden, der wiederum in einen weiteren Zwischencode namens mini-assembly übersetzt wird, bevor daraus die Maschinensprache des Zielprozessors generiert wird.
Literatur
- Warren, David H. D.: Warren. An abstract Prolog instruction set, Technical Note 309, SRI International, Menlo Park, CA, October 1983.
Wikimedia Foundation.
Schlagen Sie auch in anderen Wörterbüchern nach:
Warren’s Abstract Machine — (WAM) bezeichnet in der Informatik einen 1983 von David H. D. Warren spezifizierten idealen Prozessor, dessen Maschinensprache als Zielsprache für Prolog Übersetzer oder Interpreter dient. Man spricht auch von einer virtuellen Maschine, da es den … Deutsch Wikipedia
Warren's Abstract Machine — La Warren s Abstract Machine (Machine abstraite de Warren) est une machine virtuelle permettant d implémenter le langage Prolog. Cette machine est composée d un jeu d instructions spécial ainsi que d une mémoire. Elle a été définie par David H. D … Wikipédia en Français
Warren Abstract Machine — Warren s Abstract Machine La Warren s Abstract Machine (Machine abstraite de Warren) est une machine virtuelle permettant d implémenter le langage Prolog. Cette machine est composée d un jeu d instructions spécial ainsi que d une mémoire. Elle a… … Wikipédia en Français
Warren 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… … Wikipedia
Abstract machine — An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in Automata theory. Abstraction of computing processes is used in both the computer science and computer engineering… … Wikipedia
Machine abstraite de Warren — Warren s Abstract Machine La Warren s Abstract Machine (Machine abstraite de Warren) est une machine virtuelle permettant d implémenter le langage Prolog. Cette machine est composée d un jeu d instructions spécial ainsi que d une mémoire. Elle a… … Wikipédia en Français
Warren — may refer to:Animal husbandry and relatedForest law*Warren (free) ( Free warren ), a type of hunting franchise under the Anglo Norman Forest law Animal husbandry*Warren (domestic), a rabbitry or fixed establishment of cuniculture *The domestic… … Wikipedia
David H. D. Warren — Pour les articles homonymes, voir Warren. David H.D. Warren est un spécialiste de l intelligence artificielle. Il a écrit le premier compilateur pour le langage Prolog. On lui doit la Warren s Abstract Machine qui est une machine pour l exécution … Wikipédia en Français
David H. D. Warren — ist ein britischer Informatiker. Er promovierte 1977 zum Ph.D. Artificial Intelligence an der University of Edinburgh. In den 1970ern und 1980er arbeitete er über Logic programming, und im Besondern die Programmiersprache Prolog, für die er den… … Deutsch Wikipedia
Virtual machine — A virtual machine (VM) is a completely isolated guest operating system installation within a normal host operating system .[1] Modern virtual machines are implemented with either software emulation or hardware virtualization or (in the most… … Wikipedia
