[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

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]