| 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: |