A connotational theory of program structure
From MaRDI portal
Recommendations
Cited in
(23)- Program size restrictions in computational learning
- Costs of general purpose learning
- Program self-reference in constructive Scott subdomains
- Characterizing programming systems allowing program self-reference
- Program self-reference in constructive Scott subdomains
- The synthesis of language learners.
- Characteristics of minimal effective programming systems
- Hypothesis spaces for learning
- Learning-theoretic perspectives of acceptable numberings
- Control structures in hypothesis spaces: The influence on learning
- Parsimony hierarchies for inductive inference
- Computable one-to-one enumerations of effective domains
- Effectivity questions for Kleene's recursion theorem
- Effectivity questions for Kleene's recursion theorem
- Spatial/kinematic domain and lattice computers
- Acceptable Numerations of Morphisms and Myhill‐Shepherdson Property
- Composition is almost (but not quite) as good as \(s-1-1\)
- scientific article; zbMATH DE number 605140 (Why is no real title available?)
- Machine induction without revolutionary paradigm shifts
- Learnability: admissible, co-finite, and hypersimple languages
- Some independence results for control structures in complete numberings
- Maximal machine learnable classes
- A learning-theoretic characterization of classes of recursive functions
This page was built for publication: A connotational theory of program structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q579920)
