Toward compiler implementation correctness proofs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verified compilation in micro-Gypsy
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Automated proofs of object code for a widely used microprocessor
Journal of the ACM (JACM)
A mechanically certified theorem about optimal concurrency of sorting networks
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
An Overview of Compositional Translations
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
A Mechanically Verified Compiling Specification for a Lisp Compiler
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
A new program structure to improve accuracy and readability of pascal software
ICSE '84 Proceedings of the 7th international conference on Software engineering
The scheme 311 compiler an exercise in denotational semantics
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Compiler verification: a bibliography
ACM SIGSOFT Software Engineering Notes
Software debugging, testing, and verification
IBM Systems Journal
On the role of non-functional properties in compiler verification
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
On the correctness of transformations in compiler back-ends
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
A Compiler Correctness Proof For The Static Link Technique By Means Of Evolving Algebras
Fundamenta Informaticae
Hi-index | 0.00 |