Theories of Programming Languages (Paperback)

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.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Release date:	April 2009
First published:	November 2008
Authors:	John C. Reynolds
Dimensions:	244 x 170 x 26mm (L x W x T)
Format:	Paperback - Trade
Pages:	516
ISBN-13:	978-0-521-10697-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	0-521-10697-4
Barcode:	9780521106979

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!