Toward compiler implementation correctness proofs

From MaRDI portal

Publication:3719796

Jump to:navigation, search

DOI10.1145/5397.30847zbMath0591.68014OpenAlexW2058125478WikidataQ123111756 ScholiaQ123111756MaRDI QIDQ3719796

Laurian M. Chirica, David F. Martin

Publication date: 1986

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1986-8/

zbMATH Keywords

correctness implementation attribute grammars compiler compiler specification translation invariants parse-driven implementations syntax-directed specification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A formally verified compiler back-end ⋮ Providing a formal linkage between MDG and HOL ⋮ A Completely Verified Realistic Bootstrap Compiler ⋮ On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3719796&oldid=17225539"