Static Link Technique

Citation:	Markus Mohnen, "A Compiler Correctness Proof for the Static Link Technique by means of Evolving Algebras", Fundamenta Informatica, 29(3):257--303, 1997.
Summary:	The static link technique is a common method used by stack-based implementations of imperative programming languages. The author uses ASMs to prove the correctness of this well-known technique in a non-trivial subset of Pascal.
Subjects:	Compiler Correctness, Verification
Download:	PostScript, PDF, Compressed PostScript
Notes:

[an error occurred while processing this directive]

Abstract State Machines