Article

Free access

ISPMET: a study in automatic emulator generation

Authors:

D. F. Goessling,

J. F. McDonaldAuthors Info & Claims

MICRO 5: Conference record of the 5th annual workshop on Microprogramming

Pages 90 - 95

https://doi.org/10.1145/776378.776394

Published: 25 September 1972 Publication History

PDF eReader

References

[1]

R. H. Eckhouse, "A High Level Microprogramming Language (MPL)", AFIPS Conf. Proc. Vol. 38, SJCC-71.

Digital Library

Google Scholar

[2]

C. G. Bell and A. Newell, "The PMS and ISP Descriptive Systems for Computer Architectures", AFIPS Conf. Proc., Vol. 36, SJCC-66.

Digital Library

Google Scholar

[3]

K. E. Iverson, "A Common Language for Hardware, Software, and Applications", AFIPS Conf. Proc., Vol. 22, FJCC- 62.

Digital Library

Google Scholar

[4]

H. P. Schlaeppi, "A Formal Language for Describing Logic, Timing, and Sequencing (LOTIS)", IEEE Trans. on Elec. Comp., EC-13, No. 6, Dec. 1964.

Google Scholar

[5]

Y. Chu, "Introduction to Computer Organization", Prentice Hall, 1970.

Google Scholar

[6]

S. S. Husson, I. M. Miller, B. W. Clark, "Micro- program Compiler", Proceedings of Programming Symposium-1967, IBM TR 00.1600, Vol. 3, pp. 245--268.

Google Scholar

[7]

"Computer System Emulator for the IBM 1800", Systems Characteristics Manual, Publication 7031MO, Digital Scientific Corporation, San Diego, Calif.

Google Scholar

[8]

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

Digital Library

Google Scholar

[9]

"PDP-11 Processor Handbook", Digital Equipment Corporation, Appendix C, Maynard, Mass., 1971.

Google Scholar

[10]

E. T. Irons, "IMP", SIGPLAN Notices, Vol. 4, No. 8, August 1969, Proceedings of the Extensible Languages Symposium, pp. 18--19.

Digital Library

Google Scholar

[11]

E. T. Irons, "Syntax Graphs and Fast Context-Free Parsing", Yale University Computer Science Dept. Research Report 70-1.

Google Scholar

[12]

J. D. Wick, "Automated Syntax Graph Construction", Unpublished Memorandum, Yale University Computer Science Dept., Dec. 1971.

Google Scholar

[13]

E. T. Irons, "Multiple Track Programming", Yale University Computer Science Dept. Research Report 71-1.

Google Scholar

[14]

"META-4 Functional Characteristics Manual", Publication 7032MO, Digital Scientific Corporation, San Diego, Calif.

Google Scholar

[15]

D. Gries, "Compiler Construction for Digital Computers", John Wiley, 1971.

Digital Library

Google Scholar

Cited By

View all

Agrawala ARauscher T(1976)DEVELOPMENTS IN MICROPROGRAMMING LANGUAGESFoundations of Microprogramming10.1016/B978-0-12-045150-0.50013-0(327-364)Online publication date: 1976
https://doi.org/10.1016/B978-0-12-045150-0.50013-0
Mallett PLewis T(1975)Considerations for Implementing a High Level Microprogramming Language Translation SystemComputer10.1109/C-M.1975.2190528:8(40-52)Online publication date: 1-Aug-1975
https://dl.acm.org/doi/10.1109/C-M.1975.219052
Mallett PLewis TGaley JRamamoorthy C(1974)Approaches to design of high level languages for microprogrammingConference record of the 7th annual workshop on Microprogramming10.1145/800118.803843(66-73)Online publication date: 30-Sep-1974
https://dl.acm.org/doi/10.1145/800118.803843
Show More Cited By

Recommendations

Research on Text Generation Techniques Combining Machine Learning and Deep Learning
IPEC '22: Proceedings of the 3rd Asia-Pacific Conference on Image Processing, Electronics and Computers

Natural language generation (NLG) is a part of natural language processing (NLP), the main purpose of which is to build a natural language text generation system capable of generating human-understandable languages such as Chinese and English through ...
An Automatic Generator for Compiler Testing

A new method for testing compilers is presented. The compiler is exercized by compilable programs, automatically generated by a test generator. The generator is driven by a tabular description of the source language. This description is in a formalism ...
Using Node Diagnosability to Determine t-Diagnosability under the Comparison Diagnosis Model

Diagnosis is an essential subject for the reliability of a multiprocessor system. Under the comparison diagnosis model, Sengupta and Dahbura proposed a polynomial-time algorithm with time complexity O(N^{5}) to identify all the faulty processors for a ...

Comments

Information & Contributors

Information

Published In

MICRO 5: Conference record of the 5th annual workshop on Microprogramming

September 1972

103 pages

ISBN:9781450373692

DOI:10.1145/776378

Conference Chair:
C. William Gear
University of Illinois
,
Program Chair:
Richard T. Borovec
University of Illinois
,
Publications Chair:
Edward K. Bowdon
University of Illinois

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 September 1972

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 484 of 2,242 submissions, 22%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
196
Total Downloads

Downloads (Last 12 months)26
Downloads (Last 6 weeks)8

Reflects downloads up to 29 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Agrawala ARauscher T(1976)DEVELOPMENTS IN MICROPROGRAMMING LANGUAGESFoundations of Microprogramming10.1016/B978-0-12-045150-0.50013-0(327-364)Online publication date: 1976
https://doi.org/10.1016/B978-0-12-045150-0.50013-0
Mallett PLewis T(1975)Considerations for Implementing a High Level Microprogramming Language Translation SystemComputer10.1109/C-M.1975.2190528:8(40-52)Online publication date: 1-Aug-1975
https://dl.acm.org/doi/10.1109/C-M.1975.219052
Mallett PLewis TGaley JRamamoorthy C(1974)Approaches to design of high level languages for microprogrammingConference record of the 7th annual workshop on Microprogramming10.1145/800118.803843(66-73)Online publication date: 30-Sep-1974
https://dl.acm.org/doi/10.1145/800118.803843
Jones LCarvin K(1973)An annotated bibliography on microprogramming IIACM SIGMICRO Newsletter10.1145/1217124.12171274:2(7-18)Online publication date: 1-Jul-1973
https://dl.acm.org/doi/10.1145/1217124.1217127

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Recommendations

Research on Text Generation Techniques Combining Machine Learning and Deep Learning

An Automatic Generator for Compiler Testing

Using Node Diagnosability to Determine t-Diagnosability under the Comparison Diagnosis Model

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Recommendations

Research on Text Generation Techniques Combining Machine Learning and Deep Learning

An Automatic Generator for Compiler Testing

Using Node Diagnosability to Determine t-Diagnosability under the Comparison Diagnosis Model

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations