Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540401742
3540401741
Maße
24 cm
Umfang
XXII, 398 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturverz. S. 327 - 340

Erschienen in
Lecture notes in computer science ; Vol. 2654

Schlagwort
Automatische Programmierung
Funktionale Programmierung
Programmsynthese
Induktion

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
(wer)
Springer
(wann)
2003
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:16 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 2003

Ähnliche Objekte (12)

Reasoning about terminating functional programs

Hochschulschrift

Reasoning about terminating functional programs

Reasoning about terminating functional programs

Hochschulschrift

Reasoning about terminating functional programs

Cartesian abstraction and verification of multithreaded programs

Hochschulschrift

Cartesian abstraction and verification of multithreaded programs

Heap-based reasoning about asynchronous programs

Heap-based reasoning about asynchronous programs

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

zweidimensionales bewegtes Bild

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

Tools for Reasoning about Effectful Declarative Programs

Hochschulschrift

Tools for Reasoning about Effectful Declarative Programs

Inductive linearization for binary quadratic programs with linear constraints

Artikel

Inductive linearization for binary quadratic programs with linear constraints

PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs

PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs

Abstraction and performance in the design of parallel programs

Abstraction and performance in the design of parallel programs

Using Abstraction for Interpretable Robot Programs in Stochastic Domains

Using Abstraction for Interpretable Robot Programs in Stochastic Domains

Reconstructing a logic for inductive proofs of properties of functional programs

Reconstructing a logic for inductive proofs of properties of functional programs

Reconstructing a logic for inductive proofs of properties of functional programs

Reconstructing a logic for inductive proofs of properties of functional programs

Verbundene Objekte