Warren Abstract Machine (original) (raw)
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. Warren en 1983. Elle est une des implémentations classiques pour prolog.
| Property | Value |
|---|---|
| dbo:abstract | 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 Silicium 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 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. (de) 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. Warren en 1983. Elle est une des implémentations classiques pour prolog. (fr) In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set. This design became known as the Warren Abstract Machine (WAM) and has become the de facto standard target for Prolog compilers. (en) Een Warren Abstract Machine ofwel WAM is een virtuele machine gericht op de taal Prolog en bestaat uit een geheugenmodel en een instructieset. Momenteel is het een de-facto standaard voor Prolog-compilers. Omdat deze architectuur de mogelijkheid biedt Prologprogramma's naar een low-level bytecode of machinetaal te compileren helpt het de Prolog-code efficiënter uit te voeren en maakt het echte Prologcompilers mogelijk. Warren voorziet in zijn publicatie zelfs een gespecialiseerde Prolog-processor. (nl) Em 1983, desenvolveu uma máquina abstrata, para a execução de programas Prolog, formada por uma memória e um conjunto de insruções (War83). Este modelo se tornou conhecido como Máquina abstrata de Warren (WAM, da sigla em inglês) e se tornou o modelo padrão para os compiladores Prolog. (pt) |
| dbo:wikiPageID | 171318 (xsd:integer) |
| dbo:wikiPageLength | 3445 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1093965289 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Prolog dbr:David_H._D._Warren dbr:Compiler dbr:Tail_call_optimization dbr:Ground_term dbc:Logic_programming dbr:Abstract_machine dbc:Abstract_machines dbc:Virtual_machines dbc:SRI_International_software dbr:Instruction_set dbr:Computer_storage |
| dbp:wikiPageUsesTemplate | dbt:Reflist |
| dcterms:subject | dbc:Logic_programming dbc:Abstract_machines dbc:Virtual_machines dbc:SRI_International_software |
| rdf:type | yago:WikicatVirtualMachines yago:Artifact100021939 yago:Device103183080 yago:Instrumentality103575240 yago:Machine103699975 yago:Object100002684 yago:PhysicalEntity100001930 yago:Whole100003553 |
| rdfs:comment | 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. Warren en 1983. Elle est une des implémentations classiques pour prolog. (fr) In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set. This design became known as the Warren Abstract Machine (WAM) and has become the de facto standard target for Prolog compilers. (en) Een Warren Abstract Machine ofwel WAM is een virtuele machine gericht op de taal Prolog en bestaat uit een geheugenmodel en een instructieset. Momenteel is het een de-facto standaard voor Prolog-compilers. Omdat deze architectuur de mogelijkheid biedt Prologprogramma's naar een low-level bytecode of machinetaal te compileren helpt het de Prolog-code efficiënter uit te voeren en maakt het echte Prologcompilers mogelijk. Warren voorziet in zijn publicatie zelfs een gespecialiseerde Prolog-processor. (nl) Em 1983, desenvolveu uma máquina abstrata, para a execução de programas Prolog, formada por uma memória e um conjunto de insruções (War83). Este modelo se tornou conhecido como Máquina abstrata de Warren (WAM, da sigla em inglês) e se tornou o modelo padrão para os compiladores Prolog. (pt) 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 Silicium gefertigt) gibt, sondern nur als Software. (de) |
| rdfs:label | Warren’s Abstract Machine (de) Warren's Abstract Machine (fr) Warren Abstract Machine (nl) Máquina abstrata de Warren (pt) Warren Abstract Machine (en) |
| owl:sameAs | freebase:Warren Abstract Machine yago-res:Warren Abstract Machine wikidata:Warren Abstract Machine dbpedia-de:Warren Abstract Machine dbpedia-fr:Warren Abstract Machine dbpedia-nl:Warren Abstract Machine dbpedia-pt:Warren Abstract Machine https://global.dbpedia.org/id/Rzzc |
| prov:wasDerivedFrom | wikipedia-en:Warren_Abstract_Machine?oldid=1093965289&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Warren_Abstract_Machine |
| is dbo:knownFor of | dbr:David_H._D._Warren |
| is dbo:wikiPageDisambiguates of | dbr:WAM dbr:Warren_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Warren_abstract_machine |
| is dbo:wikiPageWikiLink of | dbr:Prolog dbr:School_of_Informatics,_University_of_Edinburgh dbr:List_of_computer_scientists dbr:Algebraic_Logic_Functional_programming_language dbr:List_of_SRI_International_people dbr:List_of_University_of_Edinburgh_people dbr:David_H._D._Warren dbr:List_of_programming_language_researchers dbr:Compiler dbr:Abstract_machine dbr:YAP_(Prolog) dbr:WAM dbr:Warren_(disambiguation) dbr:Warren_abstract_machine |
| is dbp:knownFor of | dbr:David_H._D._Warren |
| is foaf:primaryTopic of | wikipedia-en:Warren_Abstract_Machine |