Warren Abstract Machine (WAM)

Citation:	Egon Börger and Dean Rosenzweig, "The WAM - definition and compiler correctness." In L.C.Beierle and L. Pluemer, eds., Logic Programming: Formal Methods and Practical Applications, North-Holland Series in Computer Science and Artificial Intelligence, 1994.
Summary:	A hierarchy of ASMs presenting a provably correct refinement from the ASM for Prolog to the WAM.
Subjects:	Compiler Correctness, Refinement, Verification, WAM / Logic Programming
Download:	PostScript, PDF, Compressed PostScript
Notes:

[an error occurred while processing this directive]

Abstract State Machines