Using Domain Algebras to Prove the Correctness of a Compiler

• Authors:

• Peter Dybjer

• Affiliations:

• -

• Venue:
• STACS '85 Proceedings of the 2nd Symposium of Theoretical Aspects of Computer Science
• Year:
• 1985