Mohlo by se vám také líbit

Více informací o knize Programming with Higher-Order Logic

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 142 bodů

Anotace knihy

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

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development

• Plný název: Programming with Higher-Order Logic
• Autor: Dale Miller
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 320
• EAN: 9780521879408
• ISBN: 052187940X
• ID: 01234526
• Nakladatelství: Cambridge University Press
• Hmotnost: 616 g
• Rozměry: 237 × 160 × 23 mm
• Datum vydání: 11. June 2012

Oblíbené z jiného soudku

---

---

---