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