Compiler specification and verification
From MaRDI portal
Publication:1162352
zbMath0481.68001MaRDI QIDQ1162352
Publication date: 1981
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68Nxx)
Related Items (7)
An algebraic approach to the design of compilers for object-oriented languages ⋮ Algebraic translations, correctness and algebraic compiler construction ⋮ A demonstrably correct compiler ⋮ The automated proof of a trace transformation for a bitonic sort ⋮ Correct hardware synthesis ⋮ Mechanical Software Verification ⋮ Deriving correctness properties of compiled code
This page was built for publication: Compiler specification and verification