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

DOI10.1098/RSTA.2011.0328MaRDI QIDQ2941589zbMATH OpenOpenAlexWikidataFDO

Authors Neil D. Jones, Jakob Grue Simonsen

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

recursion theoryprogrammingmodels of computation

Mathematics Subject Classification ID

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

Recommendations

• Programs as data objects. Proceedings of a Workshop, Copenhagen, Denmark, October 17--19, 1985
• Programs as data objects. 2nd symposium, PADO 2001, Aarhus, Denmark, May 21--23, 2001. Proceedings
• Program-algorithmic complex of structure-classification analysis of complex data
• scientific article; zbMATH DE number 3883582
• Programming with data
• scientific article; zbMATH DE number 1203208

Cites work

• scientific article; zbMATH DE number 5605095 (Why is no real title available?)
• scientific article; zbMATH DE number 1543040 (Why is no real title available?)
• scientific article; zbMATH DE number 3254905 (Why is no real title available?)
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Formal molecular biology
• General recursive functions of natural numbers
• How to Program an Infinite Abacus
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On the Computational Complexity of Algorithms
• Random-Access Stored-Program Machines, an Approach to Programming Languages
• Recursive functions of symbolic expressions and their computation by machine, Part I
• 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
• The chemical basis of morphogenesis
• Time bounded random access machines

Cited in

(1)

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

Describes a project that uses

Uses Software

• ALGOL 60

This page was built for publication: Programs=data=first-class citizens in a computational world

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2941589)