Programs=data=first-class citizens in a computational world
From MaRDI portal
Publication:2941589
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
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
Uses Software
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