Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Theory of Computation and Specification over Abstract Data Types, and its Applications Read chapter Read first chapter

1991 | OriginalPaper | Chapter

Fundamentals of Deductive Program Synthesis

Authors : Zohar Manna, Richard Waldinger

Published in: Logic, Algebra, and Computation

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

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.

previous chapter Theory of Computation and Specification over Abstract Data Types, and its Applications
next chapter Notes on resolution
Metadata
Title
Fundamentals of Deductive Program Synthesis
Authors
Zohar Manna
Richard Waldinger
Copyright Year
1991
Publisher
Springer Berlin Heidelberg
Book
Logic, Algebra, and Computation

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

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

Copyright Year: 1991

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

Premium Partner

    Image Credits