Progress in Theoretical Computer Science

Solving Higher-Order Equations

From Logic to Programming

Authors: Prehofer, Christian

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-1-4612-1778-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $169.00
price for USA
  • ISBN 978-0-8176-4032-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $159.00
price for USA
  • ISBN 978-1-4612-7278-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica­ tions, higher-order logic provides the necessary level of abstraction for con­ cise and natural formulations. The main assets of higher-order logic are quan­ tification over functions or predicates and its abstraction mechanism. These allow one to represent quantification in formulas and other variable-binding constructs. In this book, we focus on equational logic as a fundamental and natural concept in computer science and mathematics. We present calculi for equa­ tional reasoning modulo higher-order equations presented as rewrite rules. This is followed by a systematic development from general equational rea­ soning towards effective calculi for declarative programming in higher-order logic and A-calculus. This aims at integrating and generalizing declarative programming models such as functional and logic programming. In these two prominent declarative computation models we can view a program as a logical theory and a computation as a deduction.

Table of contents (9 chapters)

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-1-4612-1778-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $169.00
price for USA
  • ISBN 978-0-8176-4032-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $159.00
price for USA
  • ISBN 978-1-4612-7278-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Solving Higher-Order Equations
Book Subtitle
From Logic to Programming
Authors
Series Title
Progress in Theoretical Computer Science
Copyright
1998
Publisher
Birkhäuser Basel
Copyright Holder
Birkhäuser Boston
eBook ISBN
978-1-4612-1778-7
DOI
10.1007/978-1-4612-1778-7
Hardcover ISBN
978-0-8176-4032-3
Softcover ISBN
978-1-4612-7278-6
Edition Number
1
Number of Pages
IX, 188
Topics