Beispielbild für diese ISBN

Types in Logic Programming.

Pfenning, Frank (ed.)

0 Bewertungen bei GoodReads
ISBN 10: 0262161311 / ISBN 13: 9780262161312
Gebraucht Hardcover
Verkäufer Kloof Booksellers & Scientia Verlag (Amsterdam, Niederlande)

AbeBooks Verkäufer seit 7. Oktober 1999

Verkäuferbewertung 5 Sterne

Anzahl: 1

Bei weiteren Verkäufern erhältlich

Alle  Exemplare dieses Buches anzeigen
Gebraucht kaufen
Preis: EUR 20,00 Währung umrechnen
Versand: EUR 9,00 Von Niederlande nach USA Versandziele, Kosten & Dauer
In den Warenkorb legen

Zahlungsarten
akzeptiert von diesem Verkäufer

Visa Mastercard American Express Carte Bleue

Vorauskasse PayPal Rechnung Banküberweisung

Beschreibung

Cambridge, MA:. The MIT Press, 1992. Hardcover. 377 pp.(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. English text. Condition : as new. Condition : as new. ISBN 9780262161312[KEYWORDS: computer studies, Logic programming. Buchnummer des Verkäufers 247282

Dem Anbieter eine Frage stellen

Bibliografische Details

Titel: Types in Logic Programming.

Einband: Hardcover

Über diesen Titel

Inhaltsangabe:

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.

Über den Autor:

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

In business since 1923 we are specialized in law, philosophy and other scholarly books from the 16th - 20th century. We also carry a general stock and we have permanently in stock ca. 60.000 titles. Visit only by appointment. Member of ILAB and the NVVA, the Dutch Antiquarian Booksellers Association.

Zur Homepage des Verkäufers

Geschäftsbedingungen:

Condition of the books is VG or better, unless otherwise stated. Returns allowed within 8 days after reception of the book (after prior notification).
Books are subject to prior sale. Orders usually ship within 2-3 business days. Shipping of books outside the EU, or to commercial and institional addresses is at buyers risk. Airmail & insurance rates on request. No discounts possible on orders through Abebooks. The displayed shipping costs are based on books weighing 2.2 LB, or 1 KG. All disputes...

Mehr Information
Versandinformationen:

Orders usually ship within 2-3 business days. Shipping of books outside the EU, or to commercial and institional addresses is at buyers risk. Airmail & insurance rates on request. The displayed shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Alle Bücher des Anbieters anzeigen