Using Domain Algebras to Prove the Correctness of a Compiler - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Dybjer. Using Domain Algebras to Prove the Correctness of a Compiler. In Kurt Mehlhorn, editor, STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings. Volume 182 of Lecture Notes in Computer Science, pages 98-108, Springer, 1985.

This author has not been identified. Look up 'Peter Dybjer' in Google

runs on WebDSL