Using Domain Algebras To Prove The Correctness Of A Compiler
Paper i proceeding, 1985
Författare
Peter Dybjer
Institutionen för informationsbehandling
Göteborgs universitet
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Ämneskategorier
Datavetenskap (datalogi)