More Web Proxy on the site http://driver.im/

article

Free access

Contrasting translation, verification and synthesis in software and firmware engineering

Authors:

Robert A. Mueller,

Gearold R. JohnsonAuthors Info & Claims

ACM SIGMICRO Newsletter, Volume 12, Issue 4

Pages 17 - 22

https://doi.org/10.1145/1014192.802432

Published: 01 December 1981 Publication History

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]

Aho, A.V., and Ullman, J.D., The Theory of Parsing, Translation, and Compiling, Volumes (1,2) Prentice-Hall Publishing, Company, 1972.

Digital Library

[2]

Bell, C. G. and Newell, A., Computer Structures: Readings and Examples, McGraw-Hill, New York, 1971.

Digital Library

[3]

Carter, W.C., Joyner, W.H., and Brand, D., 'Microprogram Verification Considered Necessary,' IBM Research Report RC7053(#29535), December 1977.

[4]

Cattell, R.G.G., 'Automatic Derivation of Code Generators from Machine Descriptions,' ACM TOPLAS, Volume 2, Number 2, April 1980.

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.

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.

Digital Library

[7]

Fraser, C.W., 'Automatic Generation of Code Generators,' Ph.D. dissertation, Computer Science Department, Yale University, New Haven, Connecticutt, 1977.

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.

[9]

Lion, J., 'A Commentary on the UNIX Operating System,' Department of Computer Science Report, The University of New South Wales, Australia.

[10]

Manna, Zohar, Mathematical Theory of Computation, McGraw-Hill Publishing Company, 1973.

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.

Digital Library

[12]

Mueller, R.A., 'Automated Microprogram Synthesis,' Ph.D. Dissertation, Computer Science Department, University of Colorado, Boulder, 1980.

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.

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.

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.

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.

Digital Library

Cited By

Parker AKurdahi FMlinar M(1984)A General Methodology for Synthesis and Verification of Register-Transfer Designs21st Design Automation Conference Proceedings10.1109/DAC.1984.1585815(329-335)Online publication date: 1984
https://doi.org/10.1109/DAC.1984.1585815
Mueller RVarghese J(1982)Formal Semantics for the Automated Derivation of Micro-Code19th Design Automation Conference10.1109/DAC.1982.1585589(815-824)Online publication date: 1982
https://doi.org/10.1109/DAC.1982.1585589
Parker AKurdahi FMlinar MLambert POfek HO'Neill LPistilli PLosleben PNash JShaklee DPreas BLerman H(1984)A general methodology for synthesis and verification of register-transfer designsProceedings of the 21st Design Automation Conference10.5555/800033.800816(329-335)Online publication date: 25-Jun-1984
https://dl.acm.org/doi/10.5555/800033.800816
Show More Cited By

Index Terms

Recommendations

Contrasting translation, verification and synthesis in software and firmware engineering
MICRO 14: Proceedings of the 14th annual workshop on Microprogramming

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 ...
Research synthesis in software engineering

ContextComparing and contrasting evidence from multiple studies is necessary to build knowledge and reach conclusions about the empirical support for a phenomenon. Therefore, research synthesis is at the center of the scientific enterprise in the ...
A Software Engineering Ontology as Software Engineering Knowledge Representation
ICCIT '08: Proceedings of the 2008 Third International Conference on Convergence and Hybrid Information Technology - Volume 02

This paper aims to present software engineering ontology as software engineering knowledge representation for a multi-site software development. It will not only facilitate the capturing of software engineering knowledge but also enhance the sharing of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

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

MICRO 14: Proceedings of the 14th annual workshop on Microprogramming
December 1981
214 pages
Chairman:
Dick Eckhouse

Copyright © 1981 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1981

Published in SIGMICRO Volume 12, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
1,192
Total Downloads

Downloads (Last 12 months)46
Downloads (Last 6 weeks)5

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Parker AKurdahi FMlinar M(1984)A General Methodology for Synthesis and Verification of Register-Transfer Designs21st Design Automation Conference Proceedings10.1109/DAC.1984.1585815(329-335)Online publication date: 1984
https://doi.org/10.1109/DAC.1984.1585815
Mueller RVarghese J(1982)Formal Semantics for the Automated Derivation of Micro-Code19th Design Automation Conference10.1109/DAC.1982.1585589(815-824)Online publication date: 1982
https://doi.org/10.1109/DAC.1982.1585589
Parker AKurdahi FMlinar MLambert POfek HO'Neill LPistilli PLosleben PNash JShaklee DPreas BLerman H(1984)A general methodology for synthesis and verification of register-transfer designsProceedings of the 21st Design Automation Conference10.5555/800033.800816(329-335)Online publication date: 25-Jun-1984
https://dl.acm.org/doi/10.5555/800033.800816
Mueller RVarghese JCrabbe JRadke COfek H(1982)Formal semantics for the automated derivation of micro-codeProceedings of the 19th Design Automation Conference10.5555/800263.809295(815-824)Online publication date: 1-Jan-1982
https://dl.acm.org/doi/10.5555/800263.809295

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents