GILMORE, P. An abstract computer with a LISP-like machine language without a label operator. In Computer Programming and Formal Systems, P. Braffort (Ed.), North Holland, 1963.

Google Scholar

[9]

SHEPHERDSON, J. C. AND STURGIS, H. E. Computability of recursive functions. J. ACM 10, 2 (April 1963), 217-255.

Crossref

Google Scholar

Cited By

View all

Aho AUllman J(2022)Abstractions, their algorithms, and their compilersCommunications of the ACM10.1145/349068565:2(76-91)Online publication date: 24-Jan-2022
https://dl.acm.org/doi/10.1145/3490685
Sokolinsky L(2021)BSF: A parallel computation model for scalability estimation of iterative numerical algorithms on cluster computing systemsJournal of Parallel and Distributed Computing10.1016/j.jpdc.2020.12.009149(193-206)Online publication date: Mar-2021
https://doi.org/10.1016/j.jpdc.2020.12.009
Bournez ODowek GGilleron RGrigorieff SMarion JPerdrix STison S(2020)Theoretical Computer Science: Computability, Decidability and LogicA Guided Tour of Artificial Intelligence Research10.1007/978-3-030-06170-8_1(1-50)Online publication date: 8-May-2020
https://doi.org/10.1007/978-3-030-06170-8_1
Show More Cited By

Index Terms

Random-Access Stored-Program Machines, an Approach to Programming Languages
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
2. Theory of computation
  1. Formal languages and automata theory
  2. Semantics and reasoning
    1. Program semantics

Recommendations

General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems
ICECCS '95: Proceedings of the 1st International Conference on Engineering of Complex Computer Systems

Multiparadigm programming languages have been envisioned as a vehicle for constructing large and complex heterogeneous systems, such as a stock market exchange or a telecommunications network. General-purpose multiparadigm languages, as opposed to ...
Object-Oriented Programming Languages And Event-Driven Programming
Multiparadigm Constraint Programming Languages

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Journal of the ACM Volume 11, Issue 4

Oct. 1964

130 pages

ISSN:0004-5411

EISSN:1557-735X

DOI:10.1145/321239

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1964

Published in JACM Volume 11, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

80
Total Citations
View Citations
1,016
Total Downloads

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

Reflects downloads up to 05 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Aho AUllman J(2022)Abstractions, their algorithms, and their compilersCommunications of the ACM10.1145/349068565:2(76-91)Online publication date: 24-Jan-2022
https://dl.acm.org/doi/10.1145/3490685
Sokolinsky L(2021)BSF: A parallel computation model for scalability estimation of iterative numerical algorithms on cluster computing systemsJournal of Parallel and Distributed Computing10.1016/j.jpdc.2020.12.009149(193-206)Online publication date: Mar-2021
https://doi.org/10.1016/j.jpdc.2020.12.009
Bournez ODowek GGilleron RGrigorieff SMarion JPerdrix STison S(2020)Theoretical Computer Science: Computability, Decidability and LogicA Guided Tour of Artificial Intelligence Research10.1007/978-3-030-06170-8_1(1-50)Online publication date: 8-May-2020
https://doi.org/10.1007/978-3-030-06170-8_1
Kaliszyk CPąk K(2019)Semantics of Mizar as an Isabelle Object LogicJournal of Automated Reasoning10.1007/s10817-018-9479-z63:3(557-595)Online publication date: 1-Oct-2019
https://dl.acm.org/doi/10.1007/s10817-018-9479-z
Davidson JMichaelson G(2018)Expressiveness, meanings and machinesComputability10.3233/COM-1800907:4(367-394)Online publication date: 24-Oct-2018
https://doi.org/10.3233/COM-180090
Elgot C(2018)A Perspective View of Discrete Automata and Their DesignThe American Mathematical Monthly10.1080/00029890.1965.1197070772:sup2(125-134)Online publication date: 5-Feb-2018
https://doi.org/10.1080/00029890.1965.11970707
North M(2014)A theoretical formalism for analyzing agent-based modelsComplex Adaptive Systems Modeling10.1186/2194-3206-2-32:1(3)Online publication date: 2014
https://doi.org/10.1186/2194-3206-2-3
Du DKo K(2014)ReferencesTheory of Computational Complexity10.1002/9781118595091.refs(458-479)Online publication date: 13-Jun-2014
https://doi.org/10.1002/9781118595091.refs
Bueno DCompton KSakallah KBailey M(2013)Detecting Traditional Packers, DecisivelyProceedings of the 16th International Symposium on Research in Attacks, Intrusions, and Defenses - Volume 814510.1007/978-3-642-41284-4_10(184-203)Online publication date: 23-Oct-2013
https://dl.acm.org/doi/10.1007/978-3-642-41284-4_10
Du DKo K(2013)BibliographyTheory of Computational Complexity10.1002/9781118032916.biblio(453-473)Online publication date: 6-Dec-2013
https://doi.org/10.1002/9781118032916.biblio
Show More Cited By

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.

References

Cited By

Index Terms

Recommendations

General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems

Object-Oriented Programming Languages And Event-Driven Programming

Multiparadigm Constraint Programming Languages

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations