PAM (Early Version)

Citation: Christoph Beierle and Egon Börger, "Correctness proof for the WAM with types." In E. Börger, G. Jaeger, H. Kleine Büning, and M.M. Richter, eds., Computer Science Logic, Springer LNCS 626, 1992, pp. 15-34.
Summary: An early version of a specification and correctness proof of PROTOS-L and the PROTOS Abstract Machine (PAM).
Subjects: Compiler Correctness, Programming Languages, Verification, WAM / Logic Programming
Download: PostScript, PDF, Compressed PostScript.
Notes: See the final version (part 1 and part 2) of this paper.