skip to main content
article
Free Access

Contrasting translation, verification and synthesis in software and firmware engineering

Published:01 December 1981Publication History
Skip Abstract Section

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.

References

  1. 1 Aho, A.V., and Ullman, J.D., The Theory of Parsing, Translation, and Compiling, Volumes (1,2) Prentice-Hall Publishing, Company, 1972. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2 Bell, C. G. and Newell, A., Computer Structures: Readings and Examples, McGraw-Hill, New York, 1971. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 Carter, W.C., Joyner, W.H., and Brand, D., 'Microprogram Verification Considered Necessary,' IBM Research Report RC7053(#29535), December 1977.Google ScholarGoogle Scholar
  4. 4 Cattell, R.G.G., 'Automatic Derivation of Code Generators from Machine Descriptions,' ACM TOPLAS, Volume 2, Number 2, April 1980. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7 Fraser, C.W., 'Automatic Generation of Code Generators,' Ph.D. dissertation, Computer Science Department, Yale University, New Haven, Connecticutt, 1977. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 Joyner, W.H., Carter, W.C., and Brand, D., 'Using Machine Descriptions in Program Verification,' IBM Research Report RC6922(#29649), December 1977.Google ScholarGoogle Scholar
  9. 9 Lion, J., 'A Commentary on the UNIX Operating System,' Department of Computer Science Report, The University of New South Wales, Australia.Google ScholarGoogle Scholar
  10. 10 Manna, Zohar, Mathematical Theory of Computation, McGraw-Hill Publishing Company, 1973. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12 Mueller, R.A., 'Automated Microprogram Synthesis,' Ph.D. Dissertation, Computer Science Department, University of Colorado, Boulder, 1980. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  14. 14 Oakley, J. D., 'Symbolic Execution of Formal Machine Descriptions', Ph.D. dissertation, Department of Computer Science, Carnegie-Mellon University, Pittsburg, Pennsylvania, 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  16. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Contrasting translation, verification and synthesis in software and firmware engineering

                  Recommendations

                  Comments

                  Login options

                  Check if you have access through your login credentials or your institution to get full access on this article.

                  Sign in

                  Full Access

                  • Published in

                    cover image ACM SIGMICRO Newsletter
                    ACM SIGMICRO Newsletter  Volume 12, Issue 4
                    Dec. 1981
                    187 pages
                    ISSN:1050-916X
                    DOI:10.1145/1014192
                    Issue’s Table of Contents
                    • cover image ACM Conferences
                      MICRO 14: Proceedings of the 14th annual workshop on Microprogramming
                      December 1981
                      214 pages

                    Copyright © 1981 Authors

                    Publisher

                    Association for Computing Machinery

                    New York, NY, United States

                    Publication History

                    • Published: 1 December 1981

                    Check for updates

                    Qualifiers

                    • article

                  PDF Format

                  View or Download as a PDF file.

                  PDF

                  eReader

                  View online with eReader.

                  eReader
                  About Cookies On This Site

                  We use cookies to ensure that we give you the best experience on our website.

                  Learn more

                  Got it!