Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Theory of Computation and Specification over Abstract Data Types, and its Applications Kapitel lesen Erstes Kapitel lesen

1991 | OriginalPaper | Buchkapitel

Fundamentals of Deductive Program Synthesis

verfasst von : Zohar Manna, Richard Waldinger

Erschienen in: Logic, Algebra, and Computation

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

This is an introduction to program synthesis, the derivation of a program to meet a given specification. It focuses on the deductive approach, in which the derivation task is regarded as a problem of proving a mathematical theorem.

Vorheriges Kapitel Theory of Computation and Specification over Abstract Data Types, and its Applications
Nächstes Kapitel Notes on resolution
Metadaten
Titel
Fundamentals of Deductive Program Synthesis
verfasst von
Zohar Manna
Richard Waldinger
Copyright-Jahr
1991
Verlag
Springer Berlin Heidelberg
Buch
Logic, Algebra, and Computation

Print ISBN: 978-3-642-76801-9

Electronic ISBN: 978-3-642-76799-9

Copyright-Jahr: 1991

DOI
https://doi.org/10.1007/978-3-642-76799-9_2