Characterizing programming systems allowing program self-reference

DOI10.1007/S00224-009-9168-8zbMATH Open1187.68218OpenAlexW2060162960MaRDI QIDQ733737FDOQ733737

Authors John Case, Samuel E. III Moelius

Publication date 19 October 2009

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00224-009-9168-8

zbMATH Keywords

computability theoryrecursion theoremself-referencenumberingsrecursive function theorycomputable operatorscontrol structuresprogramming systemsrecursive operators

Mathematics Subject Classification ID

Recommendations

• Characterizing Programming Systems Allowing Program Self-reference
• Properties complementary to program self-reference
• Properties Complementary to Program Self-reference
• Program self-reference in constructive Scott subdomains
• Program self-reference in constructive Scott subdomains

Cites work

• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3586480 (Why is no real title available?)
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 680708 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A Machine-Independent Theory of the Complexity of Recursive Functions
• A connotational theory of program structure
• Characterizing Programming Systems Allowing Program Self-reference
• Control structures in hypothesis spaces: The influence on learning
• Effectivizing Inseparability
• Fifty years of self-reference in arithmetic
• Fixpoint approach to the theory of computation
• Generalized computable numerations and nontrivial Rogers semilattices
• Gödel numberings of partial recursive functions
• Indexings of subrecursive classes
• Inductive Inference and Computable One‐One Numberings
• Infinitary self-reference in learning theory
• Properties Complementary to Program Self-reference
• Some independence results for control structures in complete numberings
• The independence of control structures in abstract programming systems

Cited in

(7)

• Things that can be made into themselves
• Properties Complementary to Program Self-reference
• Program self-reference in constructive Scott subdomains
• Program self-reference in constructive Scott subdomains
• Properties complementary to program self-reference
• Immune Systems in Computer Virology
• Characterizing Programming Systems Allowing Program Self-reference

This page was built for publication: Characterizing programming systems allowing program self-reference

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