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.
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-121
- Umfang
-
31 Bl.
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1985
- Weitere Objektseiten
- Letzte Aktualisierung
-
10.06.2025, 11:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1985
Ähnliche Objekte (12)
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Semantics and loop invariant synthesis for probabilistic programs
Proof of Pointer Programs with Ownership in SPARK
Meta-synthesis : deriving programs that develop programs
Some uses of proof theory for finding computer programs
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Proof profiles : characteristic clause sets and proof transformations
Ecology - potentials and limitations
Deadlines and Cognitive Limitations
Deadlines and Cognitive Limitations
Computation and proof theory
Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Semantics and loop invariant synthesis for probabilistic programs
Proof of Pointer Programs with Ownership in SPARK
Meta-synthesis : deriving programs that develop programs
Some uses of proof theory for finding computer programs
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Proof profiles : characteristic clause sets and proof transformations
Ecology - potentials and limitations
Deadlines and Cognitive Limitations
Deadlines and Cognitive Limitations
Computation and proof theory
Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Semantics and loop invariant synthesis for probabilistic programs
Proof of Pointer Programs with Ownership in SPARK
Meta-synthesis : deriving programs that develop programs
Some uses of proof theory for finding computer programs
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Proof profiles : characteristic clause sets and proof transformations
Ecology - potentials and limitations
Deadlines and Cognitive Limitations
Deadlines and Cognitive Limitations
Computation and proof theory