Logic programming., types, DD 005.11 Cambridge Mass. London. 1992. 24cm. xviii,357p. Encuadernaci�n en tapa dura de editorial ilustrada. Idioma Ingl�s. edited by Frank Pfenning. Logic programming. Logic programming series. Bibliography: p333-350. - Includes index . ISBN: 0262161311 (=2746274=) LF110.

Seller Inventory # 2746274

Contact seller

Report this item

Bibliographic Details

Title: Types in logic programming
Publisher: Cambridge Mass.
Publication Date: 1992
Language: English
ISBN 10: 0262161311
ISBN 13: 9780262161312
Binding: tapa dura
Condition: Bien

About this title

Synopsis

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.

About the Author

Frank Pfenning is Research Computer Scientist in the School of Computer Science at Carnegie Mellon University.

"About this title" may belong to another edition of this title.

Store Description

Librer�a especializada en libros antiguos, raros, curiosos, descatalogados, de ocasi�n, lance y de viejo. Disponemos de mas de 250.000 t�tulos. Se realizan tasaciones. Compramos libros y Bibliotecas.

Visit Seller's Storefront

Seller's business information

Alcana Libros S.L.
C/ Marqu�s de Viana 52, Madrid, 28039, Spain

Sale & Shipping Terms

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...

More Information

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 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�.