PAM (Part 1)

Citation: Christoph Beierle and Egon Börger, "Specification and correctness proof of a WAM extension with abstract type constraints", Formal Aspects of Computing, vol. 8(4), 1996, p. 428--462.
Summary: An extension of the ASM for the WAM to a full specification and correctness proof of PROTOS-L and the PROTOS Abstract Machine (PAM). (Type constraint notions are kept abstract in this paper.)
Subjects: Compiler Correctness, Programming Languages, Verification, WAM / Logic Programming
Download: PostScript, PDF, Compressed PostScript.
Notes: See also part 2 of this paper, which refines the abstract type constraints used.