Call Boomerang Books 1300 36 33 32

Get Latest Book News + FREE Shipping. Subscribe to the Boomerang Books Bulletin eNewsletter right now!

Description - Theories of Programming Languages by John C. Reynolds

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 behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigour, 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.

Buy Theories of Programming Languages by John C. Reynolds from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521594141
ISBN-10: 0521594146
Format: Hardback
(253mm x 177mm x 29mm)
Pages: 514
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 13-Oct-1998
Country of Publication: United Kingdom

Other Editions - Theories of Programming Languages by John C. Reynolds

Book Reviews - Theories of Programming Languages by John C. Reynolds

» Have you read this book? We'd like to know what you think about it - write a review about Theories of Programming Languages book by John C. Reynolds and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review


Books By John C. Reynolds

Theories of Programming Languages by John C. Reynolds
Paperback, November 2008
$99.00