Skip to content

Theories of Programming Languages
Stock Photo: Cover May Be Different

Theories of Programming Languages Hardcover - 1998

by John C. Reynolds


From the publisher

This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigor, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization). Assuming only knowledge of elementary programming, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals in designing or implementing computer languages.

Details

  • Title Theories of Programming Languages
  • Author John C. Reynolds
  • Binding Hardcover
  • Edition First Edition
  • Pages 514
  • Volumes 1
  • Language ENG
  • Publisher Cambridge University Press
  • Date 1998-10-13
  • ISBN 9780521594141 / 0521594146
  • Weight 2.3 lbs (1.04 kg)
  • Dimensions 10.24 x 7.3 x 1.32 in (26.01 x 18.54 x 3.35 cm)
  • Library of Congress subjects Programming languages (Electronic computers)
  • Library of Congress Catalog Number 98-20462
  • Dewey Decimal Code 005.13
Back to Top

More Copies for Sale

Theories of Programming Languages
Stock Photo: Cover May Be Different

Theories of Programming Languages

by Reynolds, John C

  • Used
Condition
Used - Very Good
ISBN 13
9780521594141
ISBN 10
0521594146
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
$14.19
FREE shipping to USA

Show Details

Description:
Cambridge University Press. Used - Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Item Price
$14.19
FREE shipping to USA
Theories Of Programming Languages by John Reynolds
Stock Photo: Cover May Be Different

Theories Of Programming Languages by John Reynolds

by John Reynolds

  • Used
Condition
Used
ISBN 13
9780521594141
ISBN 10
0521594146
Quantity Available
2
Seller
Franklin, Tennessee, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$27.95
$3.95 shipping to USA

Show Details

Description:
This book is in very good condition and ready for quick shipment
Item Price
$27.95
$3.95 shipping to USA
Theories of Programming Languages
Stock Photo: Cover May Be Different

Theories of Programming Languages

by Reynolds, John C.

  • Used
  • very good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 13
9780521594141
ISBN 10
0521594146
Quantity Available
1
Seller
Upperco, Maryland, United States
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
$46.00
$4.99 shipping to USA

Show Details

Description:
Cambridge University Press, Cambridge / New York, 1998. Hardcover. Very Good. 8vo, hardcover. No dj, as issued. Vg condition. Slightest moisture-rippling to bottom margin of pgs, to minor effect, not affecting text at all (no staining); Contents bright & clean, no markings; covers glossy. xii, 500 p.
Item Price
$46.00
$4.99 shipping to USA
Theories of Programming Languages
Stock Photo: Cover May Be Different

Theories of Programming Languages

by John C. Reynolds

  • Used
  • Hardcover
Condition
Used: Good
Binding
Hardcover
ISBN 13
9780521594141
ISBN 10
0521594146
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
$47.07
FREE shipping to USA

Show Details

Description:
Cambridge University Press, 1998-10-13. Hardcover. Used: Good.
Item Price
$47.07
FREE shipping to USA
Theories of Programming Languages [Hardcover] Reynolds, John C
Stock Photo: Cover May Be Different

Theories of Programming Languages [Hardcover] Reynolds, John C

by Reynolds, John C

  • Used
  • very good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 13
9780521594141
ISBN 10
0521594146
Quantity Available
1
Seller
Branchville, New Jersey, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$62.95
$4.00 shipping to USA

Show Details

Description:
Cambridge University Press, 1998-10-13. Hardcover. Very Good. Glossy pictorial boards, Book is in very nice condition, text is unmarked and pages are tight.
Item Price
$62.95
$4.00 shipping to USA
Theories of Programming Languages

Theories of Programming Languages

by John C. Reynolds

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780521594141
ISBN 10
0521594146
Quantity Available
149
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$87.95
$10.08 shipping to USA

Show Details

Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Theories of Programming Languages.
Item Price
$87.95
$10.08 shipping to USA
Theories of Programming Languages
Stock Photo: Cover May Be Different

Theories of Programming Languages

by John C. Reynolds

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780521594141
ISBN 10
0521594146
Quantity Available
1
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$94.55
$12.62 shipping to USA

Show Details

Description:
Cambridge Univ Pr, 1998. Hardcover. New. 500 pages. 10.50x7.25x1.00 inches.
Item Price
$94.55
$12.62 shipping to USA
Theories of Programming Languages

Theories of Programming Languages

by John C. Reynolds

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780521594141
ISBN 10
0521594146
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$98.74
$12.55 shipping to USA

Show Details

Description:
Hardback. New. First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour.
Item Price
$98.74
$12.55 shipping to USA
Theories of Programming Languages
Stock Photo: Cover May Be Different

Theories of Programming Languages

by Reynolds, John C

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780521594141
ISBN 10
0521594146
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$86.81
$5.45 shipping to USA

Show Details

Description:
Cambridge University Press, 1998-10-01. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$86.81
$5.45 shipping to USA
Theories of Programming Languages
Stock Photo: Cover May Be Different

Theories of Programming Languages

by Reynolds, John C

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780521594141
ISBN 10
0521594146
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
$101.00
$75.00 shipping to USA

Show Details

Description:
Cambridge University Press. hardcover. New. 7x1x10. Brand New Book in Publishers original Sealing
Item Price
$101.00
$75.00 shipping to USA