You might also like

More about Programming with Higher-Order Logic

• Book details
• Synopsis
• Trending among others

You get 149 loyalty points

Book synopsis

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

Book details

Book category Books in English Computing & information technology Computer programming / software development

• Full title: Programming with Higher-Order Logic
• Author: Dale Miller
• Language: English
• Binding: Hardback
• Number of pages: 320
• EAN: 9780521879408
• ISBN: 052187940X
• ID: 01234526
• Publisher: Cambridge University Press
• Weight: 616 g
• Dimensions: 237 × 160 × 23 mm
• Date of publishing: 11. June 2012

Trending among others

---

---

---