Programming with Higher-Order Logic

Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Programming Languages, General Computing
Cover of the book Programming with Higher-Order Logic by Dale Miller, Gopalan Nadathur, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Dale Miller, Gopalan Nadathur ISBN: 9781139506298
Publisher: Cambridge University Press Publication: June 11, 2012
Imprint: Cambridge University Press Language: English
Author: Dale Miller, Gopalan Nadathur
ISBN: 9781139506298
Publisher: Cambridge University Press
Publication: June 11, 2012
Imprint: Cambridge University Press
Language: English

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.

More books from Cambridge University Press

Cover of the book The Struggle for the Streets of Berlin by Dale Miller, Gopalan Nadathur
Cover of the book The Strange World of Quantum Mechanics by Dale Miller, Gopalan Nadathur
Cover of the book The Cambridge Companion to the Age of Justinian by Dale Miller, Gopalan Nadathur
Cover of the book Fundamentals of Critical Argumentation by Dale Miller, Gopalan Nadathur
Cover of the book 5G Mobile and Wireless Communications Technology by Dale Miller, Gopalan Nadathur
Cover of the book America's West by Dale Miller, Gopalan Nadathur
Cover of the book The Political Writings of Alexander Hamilton: Volume 2, 1789–1804 by Dale Miller, Gopalan Nadathur
Cover of the book A Student's Guide to the Seashore by Dale Miller, Gopalan Nadathur
Cover of the book Journalism and the Novel by Dale Miller, Gopalan Nadathur
Cover of the book Political Philosophy in the Twentieth Century by Dale Miller, Gopalan Nadathur
Cover of the book Mid-Ocean Ridges by Dale Miller, Gopalan Nadathur
Cover of the book Civic Monuments and the Augustales in Roman Italy by Dale Miller, Gopalan Nadathur
Cover of the book Magnetic Materials by Dale Miller, Gopalan Nadathur
Cover of the book Contracts in the Real World by Dale Miller, Gopalan Nadathur
Cover of the book Institutionalizing Rights and Religion by Dale Miller, Gopalan Nadathur
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy