Cover image for Theories of programming languages
Title:
Theories of programming languages
Author:
Reynolds, John C., 1935-
Personal Author:
Publication Information:
Cambridge ; New York : Cambridge University Press, 1998.
Physical Description:
xii, 500 pages ; 26 cm
Language:
English
ISBN:
9780521594141
Format :
Book

Available:*

Library
Call Number
Material Type
Home Location
Status
Central Library QA76.7 .R495 1998 Adult Non-Fiction Central Closed Stacks
Searching...

On Order

Summary

Summary

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.


Google Preview