Bild 1 von 1
Galerie
Bild 1 von 1
Ähnlichen Artikel verkaufen?
Types in Logic Programming [Logic Programming]
US $299,99
Ca.CHF 242,03
Artikelzustand:
2 verfügbar
- Sofort-KaufenTypes in Logic Programming [Logic Programming]
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
US $3,99 (ca. CHF 3,22) USPS Media MailTM.
Standort: San Rafael, California, USA
Lieferung:
Lieferung zwischen Do, 11. Dez und Sa, 13. Dez nach 94104 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Zahlungen:
Sicher einkaufen
Info zum Artikel
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:167216065374
Artikelmerkmale
- Artikelzustand
- Book Title
- Types in Logic Programming (Logic Programming)
- ISBN
- 9780262161312
Über dieses Produkt
Product Identifiers
Publisher
MIT Press
ISBN-10
0262161311
ISBN-13
9780262161312
eBay Product ID (ePID)
58190
Product Key Features
Number of Pages
380 Pages
Language
English
Publication Name
Types in Logic Programming
Subject
Programming Languages / General, Logic Design
Publication Year
1992
Type
Textbook
Subject Area
Computers
Series
Logic Programming Ser.
Format
Hardcover
Dimensions
Item Height
1.1 in
Item Weight
30.2 Oz
Item Length
9 in
Item Width
7.2 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
92-013988
Dewey Edition
20
Grade From
College Graduate Student
Illustrated
Yes
Dewey Decimal
005.11
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., This collection of original research papers assesses and summarizes the impact of types on logic programming., 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.
Artikelbeschreibung des Verkäufers
Info zu diesem Verkäufer
The Book Forest
99,8% positive Bewertungen•7.4 Tsd. Artikel verkauft
Angemeldet als privater VerkäuferDaher finden verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe.
Verkäuferbewertungen (2'963)
- 2***o (217)- Bewertung vom Käufer.Letztes JahrBestätigter KaufAs described in perfect condition no damage to whole lot handled with care very good price package with bubble wrap appearance fantastic very brand new quality fantastic fantastic definently recommend ships rite away no waiting AAA+++ definently coming back thank you sellerSpace 1999: Megaset [DVD] (Nr. 156355852615)
- i***l (199)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufMy books arrived quickly and were well-packaged. Books were in excellent condition as described. Would definitely purchase from this seller again.The Complete Calvin and Hobbes (Nr. 157254450034)
- r***- (31)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufNice book as described, reasonable price, strong package, fast delivery. Highly recommended!The Opening of Tibet (Nr. 166384247175)
The Book Forest
99,8% positive Bewertungen•7.4 Tsd. Artikel verkauft
Angemeldet als privater VerkäuferDaher finden verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe.
Verkäuferbewertungen (2'963)
- 2***o (217)- Bewertung vom Käufer.Letztes JahrBestätigter KaufAs described in perfect condition no damage to whole lot handled with care very good price package with bubble wrap appearance fantastic very brand new quality fantastic fantastic definently recommend ships rite away no waiting AAA+++ definently coming back thank you sellerSpace 1999: Megaset [DVD] (Nr. 156355852615)
- i***l (199)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufMy books arrived quickly and were well-packaged. Books were in excellent condition as described. Would definitely purchase from this seller again.The Complete Calvin and Hobbes (Nr. 157254450034)
- r***- (31)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufNice book as described, reasonable price, strong package, fast delivery. Highly recommended!The Opening of Tibet (Nr. 166384247175)