Automatic Derivation of Code Generators from Machine Descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Social processes and proofs of theorems and programs
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Toward automatic program synthesis
Communications of the ACM
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
The Theory of Parsing, Translation, and Compiling
The Theory of Parsing, Translation, and Compiling
The derivation of microcode by symbolic execution
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Formalization and automated synthesis of microprograms
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
A survey of high level microprogramming languages
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Automatic generation of code generators.
Automatic generation of code generators.
Symbolic execution of formal machine descriptions
Symbolic execution of formal machine descriptions
Automated microprogram synthesis
Automated microprogram synthesis
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
A general methodology for synthesis and verification of register-transfer designs
DAC '84 Proceedings of the 21st Design Automation Conference
Formal semantics for the automated derivation of micro-code
DAC '82 Proceedings of the 19th Design Automation Conference
Hi-index | 0.00 |
Translation, verification and synthesis are commonly used terms in the software field, yet these terms seem to be misunderstood by many which may inhibit progress. This paper attempts, through the use of definitions and examples, to clarify these concepts and their significance in both software and firmware engineering.