Program self-reference in constructive Scott subdomains
From MaRDI portal
(Redirected from Publication:693046)
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of numerations, effectively presented structures (03D45) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55) Recursive functions and relations, subrecursive hierarchies (03D20)
Recommendations
- Program self-reference in constructive Scott subdomains
- Characterizing programming systems allowing program self-reference
- Characterizing Programming Systems Allowing Program Self-reference
- Properties Complementary to Program Self-reference
- Properties complementary to program self-reference
- Self-reference and incompleteness in a non-monotonic setting
- scientific article; zbMATH DE number 1512607
- Fundamentals of Computation Theory
- Scoping constructs in logic programming: Implementation problems and their solution
- Program inversion in the refinement calculus
Cites work
- scientific article; zbMATH DE number 107999 (Why is no real title available?)
- scientific article; zbMATH DE number 3586480 (Why is no real title available?)
- scientific article; zbMATH DE number 2063214 (Why is no real title available?)
- scientific article; zbMATH DE number 1559386 (Why is no real title available?)
- scientific article; zbMATH DE number 5263151 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- scientific article; zbMATH DE number 3189698 (Why is no real title available?)
- scientific article; zbMATH DE number 3189699 (Why is no real title available?)
- A Machine-Independent Theory of the Complexity of Recursive Functions
- A Note on Degrees of Self-Describing Turing Machines
- A connotational theory of program structure
- Computable one-to-one enumerations of effective domains
- Gödel numberings of partial recursive functions
- Independence Results for n-Ary Recursion Theorems
- Index sets and universal numberings
- Infinitary self-reference in learning theory
- On effective topological spaces
- Periodicity in generations of automata
- Program self-reference in constructive Scott subdomains
- Simple Gödel Numberings, Isomorphisms, and Programming Properties
- The essence of translation
Cited in
(8)- Characterizing programming systems allowing program self-reference
- Properties Complementary to Program Self-reference
- Effectivity questions for Kleene's recursion theorem
- Effectivity questions for Kleene's recursion theorem
- Program self-reference in constructive Scott subdomains
- Independence Results for n-Ary Recursion Theorems
- Properties complementary to program self-reference
- Characterizing Programming Systems Allowing Program Self-reference
This page was built for publication: Program self-reference in constructive Scott subdomains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q693046)
