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)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68Nxx: Theory of software
Related Items
An algebraic approach to the design of compilers for object-oriented languages, A demonstrably correct compiler, Correct hardware synthesis, Algebraic translations, correctness and algebraic compiler construction, Deriving correctness properties of compiled code, The automated proof of a trace transformation for a bitonic sort, Mechanical Software Verification