Characterizing Programming Systems Allowing Program Self-reference

DOI10.1007/978-3-540-73001-9_13MaRDI QIDQ5426872zbMATH OpenOpenAlexFDO

Authors Samuel E. III Moelius, John Case

Publication date 13 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73001-9_13

zbMATH Keywords

Computability TheoryProgramming Language SemanticsSelf-Reference

Mathematics Subject Classification ID

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

Recommendations

• Characterizing programming systems allowing program self-reference
• Properties Complementary to Program Self-reference
• Properties complementary to program self-reference
• scientific article; zbMATH DE number 1855614
• Program self-reference in constructive Scott subdomains
• Program self-reference in constructive Scott subdomains
• Reachability Analysis of Self Modifying Code
• Program structures: Some new characterisations
• On the consistency of self-referential systems
• Self-generating program specializers

Cited in

(6)

• Parametrized quotation and 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
• 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 Q5426872)