Programs=data=first-class citizens in a computational world

DOI10.1098/rsta.2011.0328zbMath1328.68064OpenAlexW2147548002WikidataQ34308604 ScholiaQ34308604MaRDI QIDQ2941589

Jakob Grue Simonsen, Neil D. Jones

Publication date: 21 August 2015

Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1098/rsta.2011.0328

zbMATH Keywords

programmingrecursion theorymodels of computation

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Turing machines and related notions (03D10)

Related Items

The foundations of computation, physics and mentality: the Turing legacy

Uses Software

• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• Revised report on the algorithmic language ALGOL 60
• The chemical abstract machine
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Time bounded random access machines
• Formal molecular biology
• General recursive functions of natural numbers
• Recursive functions of symbolic expressions and their computation by machine, Part I
• How to Program an Infinite Abacus
• The chemical basis of morphogenesis
• On the Computational Complexity of Algorithms
• Random-Access Stored-Program Machines, an Approach to Programming Languages
• On Computable Numbers, with an Application to the Entscheidungsproblem