article

Free access

Hardware architectures for programming languages and programming languages for hardware architectures

Author:

Niklaus WirthAuthors Info & Claims

ACM SIGPLAN Notices, Volume 22, Issue 10

Pages 2 - 8

https://doi.org/10.1145/36205.36178

Published: 01 October 1987 Publication History

PDF eReader

Abstract

Programming Languages and Operating Systems introduce abstractions which allow the programmer to ignore details of an implementation. Support of an abstraction must not only concentrate on promoting the efficiency of an implementation, but also on providing the necessary guards against violations of the abstractions. In the frantic drive for efficiency the second goal has been neglected. There are indications that recent designs which are claimed to be both simple and powerful, achieve efficiency by shifting the complex issues of code generation and of appropriate guards onto compilers.Complexity has become the common hallmark of software as well as hardware designs. It cannot be mastered by the common practices of testing and simulation. Hardware design may profit from developments in programming methodology by adopting proof techniques similar to those used in programming.

References

[1]

R. K. Johnsson, J. D. Wick. An overview of the Mesa processor architecture. Proc. Symp. on Architectural Support of Programming Languages and Operating Systems, 20--29. ACM, 1982.

Digital Library

Google Scholar

[2]

D. A. Patterson. Reduced instruction set computers. Comm. ACM, 28, 1, (Jan. 1985), 8--21.

Digital Library

Google Scholar

[3]

G. Radin. The 801 minicomputer. Proc. Symp. on Architectural Support of Programming Languages and Operating Systems, 39--47. ACM, 1982.

Digital Library

Google Scholar

[4]

N. Wirth. Microprocessor architectures: A comparison based on code generation by a compiler. Comm. ACM, 29, 10, (Oct. 1986), 978--990.

Digital Library

Google Scholar

[5]

P. Naur, B. Randell, eds. Software Engineering. Nato Science Committee. 1968.

Google Scholar

[6]

E. W. Dijkstra. Guarded Commands, nondeterminacy, and formal derivation of programs. Comm. ACM, 18, 8 (Aug. 1975), 453--457.

Digital Library

Google Scholar

Cited By

View all

Picard WCellary W(2003)Generic Hierarchical Classification Using the Single-Link ClusteringKnowledge-Based Information Retrieval and Filtering from the Web10.1007/978-1-4757-3739-4_10(185-217)Online publication date: 2003
https://doi.org/10.1007/978-1-4757-3739-4_10
Wang YMangaser AJordan SSrinivasan PButner S(1991)The 3DP Real-Time Motion-Control ComputerExpert Systems and Robotics10.1007/978-3-642-76465-3_19(341-353)Online publication date: 1991
https://doi.org/10.1007/978-3-642-76465-3_19
Welch L(1994)A Parallel Virtual Machine for Programs Composed of Abstract Data TypesIEEE Transactions on Computers10.1109/12.32455843:11(1249-1261)Online publication date: 1-Nov-1994
https://dl.acm.org/doi/10.1109/12.324558
Show More Cited By

Index Terms

Hardware architectures for programming languages and programming languages for hardware architectures
1. Computer systems organization
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Hardware architectures for programming languages and programming languages for hardware architectures

Programming Languages and Operating Systems introduce abstractions which allow the programmer to ignore details of an implementation. Support of an abstraction must not only concentrate on promoting the efficiency of an implementation, but also on ...
Hardware architectures for programming languages and programming languages for hardware architectures

Programming Languages and Operating Systems introduce abstractions which allow the programmer to ignore details of an implementation. Support of an abstraction must not only concentrate on promoting the efficiency of an implementation, but also on ...
Hardware architectures for programming languages and programming languages for hardware architectures
ASPLOS II: Proceedings of the second international conference on Architectual support for programming languages and operating systems

Programming Languages and Operating Systems introduce abstractions which allow the programmer to ignore details of an implementation. Support of an abstraction must not only concentrate on promoting the efficiency of an implementation, but also on ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 22, Issue 10

Oct. 1987

189 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/36205

Editor:
Randy Katz
Univ. of California, Berkeley

Issue’s Table of Contents

ASPLOS II: Proceedings of the second international conference on Architectual support for programming languages and operating systems
October 1987
205 pages
ISBN:0818608056
DOI:10.1145/36206
Editor:
Randy Katz
Univ. of California, Berkeley
,
General Chair:
Martin Freeman
Stanford University and Philips/Signetics

Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1987

Published in SIGPLAN Volume 22, Issue 10

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
755
Total Downloads

Downloads (Last 12 months)228
Downloads (Last 6 weeks)24

Reflects downloads up to 07 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Picard WCellary W(2003)Generic Hierarchical Classification Using the Single-Link ClusteringKnowledge-Based Information Retrieval and Filtering from the Web10.1007/978-1-4757-3739-4_10(185-217)Online publication date: 2003
https://doi.org/10.1007/978-1-4757-3739-4_10
Wang YMangaser AJordan SSrinivasan PButner S(1991)The 3DP Real-Time Motion-Control ComputerExpert Systems and Robotics10.1007/978-3-642-76465-3_19(341-353)Online publication date: 1991
https://doi.org/10.1007/978-3-642-76465-3_19
Welch L(1994)A Parallel Virtual Machine for Programs Composed of Abstract Data TypesIEEE Transactions on Computers10.1109/12.32455843:11(1249-1261)Online publication date: 1-Nov-1994
https://dl.acm.org/doi/10.1109/12.324558
Tangorra F(1990)The role of the computer architecture simulator in the laboratoryACM SIGCSE Bulletin10.1145/126445.12644722:2(5-10)Online publication date: 1-Jun-1990
https://dl.acm.org/doi/10.1145/126445.126447
Debaere E(1989)Instruction-path coprocessing to solve some RISC problemsACM SIGARCH Computer Architecture News10.1145/71302.7131217:5(83-94)Online publication date: 1-Sep-1989
https://dl.acm.org/doi/10.1145/71302.71312

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.

Abstract

References

Cited By

Index Terms

Recommendations