Warren Abstract Machine

Known as: WAM, Warren 
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… (More)
Wikipedia

Related topics

Related topics

7 relations
ALFAbstract machineCompilerProlog
(More)

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
A Functional Derivation of the Warren Abstract Machine
Based on Danvy et al.’s functional correspondence, we give a further example of gradual refinement of an interpreter into a known… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Microarray Identification of FMRP-Associated Brain mRNAs and Altered mRNA Translational Profiles in Fragile X Syndrome
Fragile X syndrome results from the absence of the RNA binding FMR protein. Here, mRNA was coimmunoprecipitated with the FMRP… (More)
  • figure 2
  • figure 3
  • table 2
  • figure 5
  • table 3
Is this relevant?
1994
1994
Run-Time Type Computations in the Warren Abstract Machine
The type concept of the logic programming language PROTOS-L supports sorts, subsort relationships and parametric polymorphism… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
Is this relevant?
1993
1993
Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine
This paper presents a twofold proposal to understand the Warren Abstract Machine. A stepwise denition of the WAM by using… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1992
1992
A Verified Prolog Compiler for the Warren Abstract Machine
We extend the theory of Prolog to provide a framework for the study of Prolog compilation technology. For this purpose, we rst… (More)
Is this relevant?
1991
1991
Warren's Abstract Machine.
No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or… (More)
  • figure 2.4
  • figure 2.6
  • figure 2.7
  • figure 5.3
  • figure 5.6
Is this relevant?
Review
1991
Review
1991
Warren's Abstract Machine: A Tutorial Reconstruction
machine M0 Heap representation of terms: M0 uses a global storage area called HEAP, an array of data cells, to represent terms… (More)
Is this relevant?
Review
1991
Review
1991
Warren's Abstract Machine: A Tutorial Reconstruction
Interestingly, warren abstract machine a tutorial reconstruction that you really wait for now is coming. It's significant to wait… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A Statistical Approach to Machine Translation
The field of machine translation is almost as old as the modern digital computer. In 1949 Warren Weaver suggested that the… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1986
Highly Cited
1986
An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs
Although the sequential execution speed of logic programs has been greatly improved by the concepts introduced in the Warren… (More)
  • figure 1
  • figure 2
Is this relevant?