Akten
Proof theory and the synthesis of programs: Potential and limitations
Enthält: eine Kopie des Artikels "Proof theory and the synthesis of programs: Potential and limitations" aus: EUROCAL '85: European Conference on Computer Algebra, Linz, Austria, April 1-3 1985, Proceedings Vol. 1: Invited Lectures, hg. v. B. Buchberger, Berlin 1985 sowie ein Typoskript, das wohl die Druckvorlage für die Publikation war.
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-121
- Extent
-
31 Bl.
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1985
- Other object pages
- Last update
-
10.06.2025, 11:28 AM CEST
Data provider
This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- 1985
Other Objects (12)
Semantics and loop invariant synthesis for probabilistic programs
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Meta-synthesis : deriving programs that develop programs
Proof of Pointer Programs with Ownership in SPARK
Some uses of proof theory for finding computer programs
Proof profiles : characteristic clause sets and proof transformations
Deadlines and Cognitive Limitations
Deadlines and Cognitive Limitations
Ecology - potentials and limitations
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Computation and proof theory
Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
Semantics and loop invariant synthesis for probabilistic programs
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Meta-synthesis : deriving programs that develop programs
Proof of Pointer Programs with Ownership in SPARK
Some uses of proof theory for finding computer programs
Proof profiles : characteristic clause sets and proof transformations
Deadlines and Cognitive Limitations
Deadlines and Cognitive Limitations
Ecology - potentials and limitations
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Computation and proof theory
Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
Semantics and loop invariant synthesis for probabilistic programs
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Meta-synthesis : deriving programs that develop programs
Proof of Pointer Programs with Ownership in SPARK
Some uses of proof theory for finding computer programs
Proof profiles : characteristic clause sets and proof transformations
Deadlines and Cognitive Limitations
Deadlines and Cognitive Limitations
Ecology - potentials and limitations
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Computation and proof theory