Programming with Higher-Order Logic

Name: Programming with Higher-Order Logic
Brand: Cambridge University Press
SKU: 9780521879408
Price: 59.82 EUR
Availability: InStock

Autor: Dale Miller

Jazyk:

Väzba: Pevná

Vydavateľ: Cambridge University Press

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-18 dní

59.82 €

Formal systems that describe computations over syntactic structures occur frequently in computer sci...

Informácie o knihe

Autor

Dale Miller

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2012

Stránok

320

EAN

9780521879408

ISBN

052187940X

Enbook ID

01234526

Vydavateľ

Cambridge University Press

Hmotnosť

616

Rozmery

160 x 237 x 23

Kompletný popis

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

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Programming with Higher-Order Logic

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež