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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
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
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
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
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
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
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
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
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
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
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?