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.

[an error occurred while processing this directive]

Abstract State Machines