1300 36 33 32

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 programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages.

Buy Theories of Programming Languages book by John C. Reynolds from Australia's Online 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

Reviews

» 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 member - it's free to sign up!)

Write Review


Books By Author John C. Reynolds

Theories of Programming Languages by John C. Reynolds

Theories of Programming Languages

Paperback, April 2009
$99.00