Articles liés à Types in Logic Programming

Types in Logic Programming ISBN 13 : 9780262161312

Types in Logic Programming - Couverture rigide

 
9780262161312: Types in Logic Programming

Synopsis

This collection of original research papers assesses and summarizes the impact of types on logic programming.

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurThe MIT Press
  • Date d'édition1992
  • ISBN 10 0262161311
  • ISBN 13 9780262161312
  • ReliureRelié
  • Langueanglais
  • Nombre de pages380
  • ÉditeurPfenning Frank
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Très bon
Zustand: Sehr gut | Seiten: 380...
Afficher cet article

EUR 5,90 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9780262519939: Types in Logic Programming

Edition présentée

ISBN 10 :  0262519933 ISBN 13 :  9780262519939
Editeur : MIT Press, 1992
Couverture souple

Résultats de recherche pour Types in Logic Programming

Image d'archives

Unbekannt
Edité par MIT PR, 1992
ISBN 10 : 0262161311 ISBN 13 : 9780262161312
Ancien ou d'occasion Couverture rigide

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 380 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 1875201/202

Contacter le vendeur

Acheter D'occasion

EUR 8,10
Autre devise
Frais de port : EUR 5,90
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Frank Pfenning
Edité par MIT Press, 1992
ISBN 10 : 0262161311 ISBN 13 : 9780262161312
Ancien ou d'occasion Couverture rigide

Vendeur : Ammareal, Morangis, France

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-595-612

Contacter le vendeur

Acheter D'occasion

EUR 79,77
Autre devise
Frais de port : EUR 3,50
Vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Pfenning, Frank
Edité par Cambridge Mass., 1992
ISBN 10 : 0262161311 ISBN 13 : 9780262161312
Ancien ou d'occasion Couverture rigide

Vendeur : Alcaná Libros, Madrid, Espagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

tapa dura. Etat : Bien. 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. N° de réf. du vendeur 2746274

Contacter le vendeur

Acheter D'occasion

EUR 52,90
Autre devise
Frais de port : EUR 38
De Espagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Edité par Mit Pr, 1992
ISBN 10 : 0262161311 ISBN 13 : 9780262161312
Ancien ou d'occasion Couverture rigide

Vendeur : thebookforest.com, San Rafael, CA, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : LikeNew. Page block firm and clean, binding tight, boards straight. No markings of any kind. Fine, like new condition. Well packaged and promptly shipped from California. US veteran operated. N° de réf. du vendeur 1LAGBP001U6D

Contacter le vendeur

Acheter D'occasion

EUR 85,78
Autre devise
Frais de port : EUR 43,83
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier