BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Deductive and Declarative Programming
Stock photo: cover may vary

Deductive and Declarative Programming Hardback - 1992

by Peter Padawitz

Add to wish list

Reader reviews for Deductive and Declarative Programming

From the publisher

Declarative, ie functional or logical programs consist of mathematical functions and relations and so they are amenable to formal specification and verification, as methods of proof and logic can be applied to the programs in a well defined manner. This book emphasizes verification based on logical inference rules, ie deduction (in contrast to model-theoretic approaches, deductive methods can be automated to a certain extent). His treatment of the subject differs from others in that he tries to capture the actual styles and applications of programming; neither too general with respect to the underlying logic nor too restrictive for the practice of programming. He generalizes and unifies results from classical theorem-proving and term rewriting to provide proof methods tailored to declarative program synthesis and verification. Detailed examples accompany the development of the methods whose use is supported by a prototyping system that is documented at the end of the book, which can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.

Details

  • Title Deductive and Declarative Programming
  • Author Peter Padawitz
  • Binding Hardback
  • Edition First edition
  • Pages 285
  • Volumes 1
  • Language ENG
  • Publisher Cambridge University Press, Cambridge
  • Publication date 1992
  • ISBN 9780521417235 / 0521417236
  • Weight 1.48 lbs (0.67 kg)
  • Dimensions 9.99 x 7.04 x 0.7 in (25.37 x 17.88 x 1.78 cm)
  • Category Computers - General Information
  • Library of Congress subjects Declarative programming
  • Library of Congress Catalogue Number 92253188
  • Dewey Decimal Code 005.131

More Copies for Sale

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series...
Stock photo: cover may vary

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28)

by Padawitz, Peter

  • Used
  • Hardback
  • first
Condition
Used
Edition
First Edition
Binding
Hardcover
ISBN 10 / ISBN 13
9780521417235 / 0521417236
Quantity available
1
Seller
Item price
A$24.81
Free Delivery to USA

Show details

Description:
Cambridge University Press, 1992-10-30. First Edition. hardcover. Used: Good. 7.25x0.75x10.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$24.81
Free Delivery to USA
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series...
Stock photo: cover may vary

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28)

by Padawitz, Peter

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780521417235 / 0521417236
Quantity available
1
Seller
Item price
A$73.28
Free Delivery to USA

Show details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$73.28
Free Delivery to USA