Programming with Higher-Order Logic

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

Autor: Dale Miller

Limbă:

Legare: Copertă tare

Editura: Cambridge University Press

Disponibilitate: În depozitul extern

Expediem în 10-18 zile

314.06 lei

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

Informații despre carte

Autor

Dale Miller

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2012

Pagini

320

EAN

9780521879408

ISBN

052187940X

Enbook ID

01234526

Editura

Cambridge University Press

Greutate

616

Dimensiuni

160 x 237 x 23

Descriere completă

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

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Programming with Higher-Order Logic

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și