Abstract
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.
- 1 Aho, A.V., and Ullman, J.D., The Theory of Parsing, Translation, and Compiling, Volumes (1,2) Prentice-Hall Publishing, Company, 1972. Google Scholar
Digital Library
- 2 Bell, C. G. and Newell, A., Computer Structures: Readings and Examples, McGraw-Hill, New York, 1971. Google Scholar
Digital Library
- 3 Carter, W.C., Joyner, W.H., and Brand, D., 'Microprogram Verification Considered Necessary,' IBM Research Report RC7053(#29535), December 1977.Google Scholar
- 4 Cattell, R.G.G., 'Automatic Derivation of Code Generators from Machine Descriptions,' ACM TOPLAS, Volume 2, Number 2, April 1980. Google Scholar
Digital Library
- 5 DeMillo, R., Lipton, R., and Perlis, A., 'Social Processes and Proofs of Theorems and Programs,' Communications of the ACM, Volume 22, Number 5, May 1979, pp. 271-280. Google Scholar
Digital Library
- 6 Dijkstra, E.W., 'Guarded Commands, Non-Determinacy, and the Formal Derivation of Programs,' Communications of the ACM, Volume 18, Number 8, August 1975, pp. 453-457. Google Scholar
Digital Library
- 7 Fraser, C.W., 'Automatic Generation of Code Generators,' Ph.D. dissertation, Computer Science Department, Yale University, New Haven, Connecticutt, 1977. Google Scholar
Digital Library
- 8 Joyner, W.H., Carter, W.C., and Brand, D., 'Using Machine Descriptions in Program Verification,' IBM Research Report RC6922(#29649), December 1977.Google Scholar
- 9 Lion, J., 'A Commentary on the UNIX Operating System,' Department of Computer Science Report, The University of New South Wales, Australia.Google Scholar
- 10 Manna, Zohar, Mathematical Theory of Computation, McGraw-Hill Publishing Company, 1973. Google Scholar
Digital Library
- 11 Manna, Z., and Waldinger, R.G., 'Toward Automatic Program Synthesis,' Communications of the ACM, Volume 14, Number 3, March 1971, pp. 151-165. Google Scholar
Digital Library
- 12 Mueller, R.A., 'Automated Microprogram Synthesis,' Ph.D. Dissertation, Computer Science Department, University of Colorado, Boulder, 1980. Google Scholar
Digital Library
- 13 Mueller, R.A., 'Formalization and Automated Synthesis of Microprograms,' Proceedings of the 13th Annual ACM/IEEE Workshop on Microprogramming, Colorado Springs, Colorado, December 1980. Google Scholar
Digital Library
- 14 Oakley, J. D., 'Symbolic Execution of Formal Machine Descriptions', Ph.D. dissertation, Department of Computer Science, Carnegie-Mellon University, Pittsburg, Pennsylvania, 1979. Google Scholar
Digital Library
- 15 Sint, Marleen, 'A Survey of High-Level Microprogramming Languages,' Proceedings of the 13th Annual ACM/IEEE Microprogramming Workshop, Colorado Springs, Colorado, December 1980. Google Scholar
Digital Library
- 16 Ulrich, J.W., 'The Derivation of Microcode by Symbolic Execution,' Proceedings of the 13th Annual ACM/IEEE Workshop on Microprogramming, Colorado Springs, Colorado, December 1980. Google Scholar
Digital Library
Index Terms
Contrasting translation, verification and synthesis in software and firmware engineering
Recommendations
Contrasting translation, verification and synthesis in software and firmware engineering
MICRO 14: Proceedings of the 14th annual workshop on MicroprogrammingTranslation, 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 ...
Bloom's Taxonomy Levels for Three Software Engineer Profiles
STEP '03: Proceedings of the Eleventh Annual International Workshop on Software Technology and Engineering PracticeThis paper is the product of a workshop held in Amsterdam during the Software Technology and Practice Conference (STEP 2003). The purpose of the paper is to propose Bloomýs taxonomy levels for the Guide to the Software Engineering Body of Knowledge (...
Toward Gamification to Software Engineering and Contribution of Software Engineer
ICMSS 2020: Proceedings of the 2020 4th International Conference on Management Engineering, Software Engineering and Service SciencesWe wish to change developers' behaviors to increase software engineering efficiency and the previous research shows that gamification method can change user's behaviors. Gamification has become a popular topic in many areas including software ...






Comments