Properties complementary to program self-reference

MaRDI QIDQ3225702zbMATH OpenFDO

Authors Samuel E. III Moelius, John Case

Publication date 22 March 2012

Full work available at URL http://iospress.metapress.com/content/14n3018h35413625/fulltext.html

zbMATH Keywords

computability theoryKleene's recursion theorem

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

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

Cited in

(8)

• Characterizing Programming Systems Allowing Program Self-reference
• Program self-reference in constructive Scott subdomains
• Characterizing programming systems allowing program self-reference
• Program self-reference in constructive Scott subdomains
• A Swiss pocket knife for computability
• Properties Complementary to Program Self-reference
• Parametrized quotation and self-reference
• Some Program Anomalies and the Parameter Theorem

This page was built for publication: Properties complementary to program self-reference

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