Programming with Higher-Order Logic

3,33 valoración promedio
( 3 valoraciones por Goodreads )
 
9780521879408: Programming with Higher-Order Logic

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 λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.

"Sinopsis" puede pertenecer a otra edición de este libro.

Book Description:

Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming language based on a simply typed version of higher-order logic and show that it provides an elegant approach to performing computations over structures embodying binding.

About the Author:

Dale Miller is currently Director of Research at INRIA-Saclay where he is the Scientific Leader of the Parsifal team. He has been a professor at the University of Pennsylvania, Pennsylvania State University and the École Polytechnique, France. Miller is the Editor-in-Chief of the ACM Transactions on Computational Logic and has editorial duties on several other journals. He was awarded an ERC Advanced Investigators Grant in 2011 and is the recipient of the 2011 Test-of-Time award of the IEEE Symposium on Logic in Computer Science. He works on many topics in the general area of computational logic, including automated reasoning, logic programming, proof theory, unification theory, operational semantics and, most recently, proof certificates.

Gopalan Nadathur is Professor of Computer Science at the University of Minnesota. He has previously held faculty appointments at Duke University, the University of Chicago and Loyola University Chicago. Nadathur's research interests span the areas of computational logic, programming languages and logic programming. His work has been regularly funded by the National Science Foundation and has appeared in publications such as the Journal of the Association of Computing Machinery, Information and Computation, Logic and Computation, the Journal of Automated Reasoning and Theory and Practice of Logic Programming.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Dale Miller, Gopalan Nadathur
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2012. Hardback. Estado de conservación: New. Language: English . Brand New Book. 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 λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and Ï -calculus expressions can be encoded in λProlog. Nº de ref. de la librería AAA9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 46,35
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Nadathur, Gopalan, Miller, Dale
Editorial: Cambridge University Press (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: 1
Librería
Buyback Express
(Alton, IL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2012. Hardcover. Estado de conservación: New. BRAND NEW BOOK!! SHIPS WITHIN 24 HOURS! Tracking Provided. DHL processing & USPS delivery for an average of 3-5 Day Standard & 2-3 Day Expedited! FREE INSURANCE! Fast & Personal Support! Careful Packaging. No Hassle, Full Refund Return Policy!. Nº de ref. de la librería mon0000347214

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 45,68
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,38
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Dale Miller, Gopalan Nadathur
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2012. Hardback. Estado de conservación: New. Language: English . Brand New Book. 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 λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and Ï -calculus expressions can be encoded in λProlog. Nº de ref. de la librería AAA9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 49,20
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Miller, Dale/ Nadathur, Gopalan
Editorial: Cambridge Univ Pr (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: 1
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Cambridge Univ Pr, 2012. Hardcover. Estado de conservación: Brand New. 1st edition. 320 pages. 9.10x6.00x0.90 inches. In Stock. Nº de ref. de la librería __052187940X

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 43,15
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,77
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Dale Miller, Gopalan Nadathur
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: 10
Librería
Book Depository hard to find
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2012. Hardback. Estado de conservación: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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 λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and Ï -calculus expressions can be encoded in λProlog. Nº de ref. de la librería BTE9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 53,35
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Miller, Dale
Editorial: Cambridge University Press 6/11/2012 (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: 5
Librería
BargainBookStores
(Grand Rapids, MI, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press 6/11/2012, 2012. Hardback or Cased Book. Estado de conservación: New. Programming with Higher-Order Logic. Book. Nº de ref. de la librería BBS-9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 53,49
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

7.

DALE MILLER , GOPALAN NADATHUR
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción 2012. Hardback. Estado de conservación: NEW. 9780521879408 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE0480383

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 44,76
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,03
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Miller, Dale
Editorial: Cambridge University Press (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: > 20
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2012. Hardcover. Estado de conservación: New. Never used!. Nº de ref. de la librería 052187940X

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 54,08
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 1,70
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Miller, Dale
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Cantidad: > 20
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción 2012. HRD. Estado de conservación: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería IB-9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 52,95
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Miller, Dale
Editorial: Cambridge University Press (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Cantidad: > 20
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2012. HRD. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería IB-9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 47,05
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,15
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda