Types in logic programming
Language: English
Published by Cambridge Mass., 1992
- Hardcover
- Used
Seller: Alcaná Libros, Madrid, M, SpainAlcaná Libros
AbeBooks seller since July 11, 2006
Condition: Used - Very good
US$ 63.28
Quantity: 1 available
Add to basketItem description from seller
Seller Inventory # 2746274
- Title
- Types in logic programming
- Author
- Pfenning, Frank
- Publisher
- Cambridge Mass.
- Publication year
- 1992
- Condition
- Bien
- Binding
- tapa dura
- Language
- English
- ISBN 10
- 0262161311
- ISBN 13
- 9780262161312
Type theory is a well-established branch of theoretical computer science that has played an important role in the development of imperative and functional programming languages. This collection of original research papers assesses and summarizes the impact of types on logic programming. It covers all of the major themes in this burgeoning field, including simple types, regular tree types, polymorphic types, subtypes, and dependent types. Language design issues as well as semantics, pragmatics, and applications of types are discussed.The benefits that type considerations have to offer logic programming are being increasingly realized: through type checking many errors can be caught before a program is run, resulting in more reliable programs; types form an expressive basis for module systems, since they prescribe a machine-verifiable interface for the code encapsulated within a module; and types may be used to improve performance of code generated by a compiler. The research in this collection describes these benefits as well as important differences in the impact of types in functional and logic programming.Frank Pfenning is Research Computer Scientist in the School of Computer Science at Carnegie Mellon University.
"Synopsis" may belong to another edition of this title.
About the Author
Frank Pfenning is Research Computer Scientist in the School of Computer Science at Carnegie Mellon University.
"About the title" may belong to another edition of this title.
Shipping rates from Spain to U.S.A.
| Item | 6 to 10 business days | 4 to 8 business days |
|---|---|---|
| First item | US$ 46.46 | US$ 69.68 |
Payment methods
Store description
Specialty
libros antiguos, Gran variedad de temas, Tasaciones de libros y Bibliotecas, libros de viejo, libros descatalogados, libros de ocasión, libros lance, libros raros, Compra Venta de libros y bibliotecas, libros curiososSeller's business information
Alcana Libros S.L.
C/ Marqués de Viana 52
Madrid, Spain 28039
Terms of sale
Pago por Tarjeta bancaria.
Si no hay indicación expresa, la no disponibilidad de algún libro no anula el resto del pedido.
Los gastos de envío están calculados para un libro hasta 1 kilo de peso y tamaño pequeño en la península. Para otros pesos, tamaños y destinos se contactará con el cliente que podrá aceptar o rechazar los gastos adicionales.
Los envíos se remitirán con entrega en domicilio para el territorio español peninsular. Los pedidos económicos que entren en buzón como correo ordinario sin número de seguimiento. Los envíos de modalidad urgente siempre serán envíados con certificado a domicilio.
Para otros destinos consultar. Si se desea devolver un articulo enviado habrá que esperar a que las agencias de transporte devuelvan el pedido a la librería para reembolsarlo.
Para cualquier otra modalidad consultar con la librería en horario comercial o por correo electrónico.
Si desea más información puede contactar con nosotros. LIBROS ALCANÁ.
Shipping terms
Pago por Tarjeta bancaria.
Si no hay indicación expresa, la no disponibilidad de algún libro no anula el resto del pedido.
Los gastos de envío están calculados para un libro hasta 1 kilo de peso y tamaño pequeño en la península. Para otros pesos, tamaños y destinos se contactará con el cliente que podrá aceptar o rechazar los gastos adicionales.
Los envíos se remitirán con entrega en domicilio para el territorio español peninsular. Los pedidos económicos que entren en buzón como correo ordinario sin número de seguimiento. Los envíos de modalidad urgente siempre serán envíados con certificado a domicilio.
Para otros destinos consultar. Si se desea devolver un articulo enviado habrá que esperar a que las agencias de transporte devuelvan el pedido a la librería para reembolsarlo.
Para cualquier otra modalidad consultar con la librería en horario comercial o por correo electrónico.
Si desea más información puede contactar con nosotros. LIBROS ALCANÁ.