Using Domain Algebras To Prove The Correctness Of A Compiler
Paper in proceedings, 1985

Author

Peter Dybjer

Department of computer science

University of Gothenburg

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 182 98-108

Subject Categories

Computer Science

More information

Created

10/7/2017