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

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

zbMATH Keywords

computability theoryrecursion theoremself-referencenumberingsrecursive function theorycomputable operatorscontrol structuresprogramming systemsrecursive operators

Mathematics Subject Classification ID

Cites Work

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

Cited In (6)

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

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)