25 Books to Read Before You Die
 
 

Recently Viewed clear list


The Powell's Playlist | August 6, 2014

Graham Joyce: IMG The Powell’s Playlist: Graham Joyce



The Ghost in the Electric Blue Suit is set on the English coast in the hot summer of 1976, so the music in this playlist is pretty much all from the... Continue »
  1. $17.47 Sale Hardcover add to wish list

spacer
Qualifying orders ship free.
$32.75
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- Object Oriented Programming

This title in other editions

Types in Logic Programming

by

Types in Logic Programming Cover

 

Synopses & Reviews

Publisher Comments:

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.

Product Details

ISBN:
9780262519939
Author:
Pfenning, Frank
Publisher:
The MIT Press
Location:
Cambridge
Subject:
Programming Languages - General
Subject:
Software Engineering-Object Oriented Programming
Edition Description:
Trade paper
Series:
Logic Programming Types in Logic Programming
Publication Date:
19920612
Binding:
Paperback
Grade Level:
from 17
Language:
English
Pages:
380
Dimensions:
8.9 x 7.2 x 1 in

Related Subjects

Computers and Internet » Computers Reference » General
Computers and Internet » Personal Computers » General
Computers and Internet » Software Engineering » Object Oriented Programming
Computers and Internet » Software Engineering » Programming and Languages

Types in Logic Programming New Trade Paper
0 stars - 0 reviews
$32.75 In Stock
Product details 380 pages MIT Press (MA) - English 9780262519939 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.