[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Sabine Glesner and Wolf Zimmerman, "Structural Simulation Proofs based on ASMs even for Non-Terminating Programs". In R. Moreno-Díaz and A. Quesada-Arencibia, eds., Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001), Universidad de Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001, 235-238. |
---|---|
Summary: | A discussion of the problem of proving the correctness of program transformations, especially when the targets are non-terminating programs. Coinductive proofs based on ASMs are introduced. |
Subjects: | Compiler Correctness |
Download: | From Sabine Glesner's home page in PostScript. |
Notes: |