Properties Complementary to Program Self-reference

DOI10.1007/978-3-540-74456-6_24MaRDI QIDQ3525574zbMATH OpenOpenAlexFDO

Authors Samuel E. III Moelius, John Case

Publication date 17 September 2008

Published in Mathematical Foundations of Computer Science 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74456-6_24

zbMATH Keywords

computability theoryprogramming language semanticsself-reference

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

(7)

• 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
• Effectivity questions for Kleene's recursion theorem
• Properties complementary to program 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 Q3525574)