Skip to content

Foundations for Programming Languages
Stock Photo: Cover May Be Different

Foundations for Programming Languages Hardcover - 1996

by John C. Mitchell


From the publisher

Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems. Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic. Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series

Details

  • Title Foundations for Programming Languages
  • Author John C. Mitchell
  • Binding Hardcover
  • Edition Third printing
  • Pages 868
  • Volumes 1
  • Language ENG
  • Publisher MIT Press, Cambridge, MA
  • Date 1996-09
  • ISBN 9780262133210 / 0262133210
  • Weight 3.5 lbs (1.59 kg)
  • Dimensions 9.28 x 7.36 x 1.85 in (23.57 x 18.69 x 4.70 cm)
  • Ages 18 to UP years
  • Grade levels 13 - UP
  • Library of Congress subjects Programming languages (Electronic computers)
  • Library of Congress Catalog Number 95-45243
  • Dewey Decimal Code 005.131
Back to Top

More Copies for Sale

Foundations for Programming Languages (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Stock Photo: Cover May Be Different

Foundations for Programming Languages (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)

by Mitchell, John C.

  • Used
Condition
UsedGood
ISBN 10 / ISBN 13
9780262133210 / 0262133210
Quantity Available
1
Seller
Rotterdam , New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$33.72
FREE shipping to USA

Show Details

Description:
UsedGood. Some foxing and/or discoloration around edges. Shows minimal wear such as frayed or folded edges, minor rips and tears, and/or slightly worn binding. May have stickers and/or contain inscription on title page. No observed missing pages.
Item Price
$33.72
FREE shipping to USA
Foundations for Programming Languages (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Stock Photo: Cover May Be Different

Foundations for Programming Languages (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)

by Mitchell, John C.

  • Used
  • good
Condition
Used - Good
ISBN 10 / ISBN 13
9780262133210 / 0262133210
Quantity Available
1
Seller
Philadelphia, Pennsylvania, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$33.90
FREE shipping to USA

Show Details

Description:
Mit Pr. Good. Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported
Item Price
$33.90
FREE shipping to USA
Foundations for Programming Languages
Stock Photo: Cover May Be Different

Foundations for Programming Languages

by Mitchell, John C., Garey, Michael R., Meyer, Albert

  • Used
Condition
Used - Good
ISBN 10 / ISBN 13
9780262133210 / 0262133210
Quantity Available
1
Seller
Mishawaka, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$39.30
FREE shipping to USA

Show Details

Description:
MIT Press. Used - Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Item Price
$39.30
FREE shipping to USA
Foundations for Programming Languages (Foundations of Computing)
Stock Photo: Cover May Be Different

Foundations for Programming Languages (Foundations of Computing)

by John C. Mitchell

  • Used
  • good
  • Hardcover
Condition
Used - Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780262133210 / 0262133210
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$46.45
FREE shipping to USA

Show Details

Description:
The MIT Press, 1996-09-01. Hardcover. Good.
Item Price
$46.45
FREE shipping to USA
Foundations for Programming Languages (Foundations of Computing)
Stock Photo: Cover May Be Different

Foundations for Programming Languages (Foundations of Computing)

by Mitchell, John C

  • Used
  • Hardcover
Condition
Like New
Binding
Hardcover
ISBN 10 / ISBN 13
9780262133210 / 0262133210
Quantity Available
1
Seller
Stamford, Connecticut, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$69.28
$5.00 shipping to USA

Show Details

Description:
The MIT Press, 1996-08-28. hardcover. Like New. 9x7x1. As new clean tight and bright oversized and overweight. Please email for photos.
Item Price
$69.28
$5.00 shipping to USA