- Libreria
- >
- Libri in lingua
- >
Programming with Higher-Order Logic - 9780521879408
Un libro in lingua di Miller Dale edito da CAMBRIDGE UNIVERSITY PRESS, 2012
- € 48.70
- Il prezzo è variabile in funzione del cambio della valuta d’origine
"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 topicsare 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 [Lambda]Prolog is developed by applying this view to higher-order logic. Finally, amethodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and [lambda]-terms and [pi]-calculus expressions can be encoded in [Lambda]Prolog"--
Informazioni bibliografiche
- Titolo del Libro in lingua: Programming with Higher-Order Logic
- Lingua: English
- Autore: Miller Dale
- Editore: CAMBRIDGE UNIVERSITY PRESS
- Data di Pubblicazione: 11 Giugno '12
- Genere: Lingua Inglese
- EAN-13: 9780521879408