Theories of Programming Languages

Theories of Programming Languages

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.

Read More

Author
Publisher Cambridge University Press
Release Date
ISBN 1139936255
Pages pages
Rating 4/5 (55 users)

More Books:

Theories of Programming Languages
Language: en
Pages:
Authors: John C. Reynolds
Categories: Computers
Type: BOOK - Published: 1998-10-13 - Publisher: Cambridge University Press

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming lan
Unifying Theories of Programming
Language: en
Pages: 279
Authors: Andrew Butterfield
Categories: Computers
Type: BOOK - Published: 2010-07-30 - Publisher: Springer Science & Business Media

This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trin
Unifying Theories of Programming
Language: en
Pages: 256
Authors: Steve Dunne
Categories: Computers
Type: BOOK - Published: 2006-06-27 - Publisher: Springer Science & Business Media

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walwo
Unifying Theories of Programming
Language: en
Pages: 298
Authors: Charles Antony Richard Hoare
Categories: Computers
Type: BOOK - Published: 1998 - Publisher:

This book provides a synthesis of the theory of programming. It aims to use mathematical theory of programming to provide a similar basis for specification, des
First-Order Programming Theories
Language: en
Pages: 353
Authors: Tamas Gergely
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of
Programming with Specifications
Language: en
Pages: 416
Authors: David Luckham
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifica
Unifying Theories of Programming
Language: en
Pages: 279
Authors: Andrew Butterfield
Categories: Computers
Type: BOOK - Published: 2010-07-30 - Publisher: Springer

This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trin
Theories of Programming
Language: en
Pages: 450
Authors: Cliff B. Jones
Categories: Computers
Type: BOOK - Published: 2021-09-26 - Publisher: Morgan & Claypool

Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program v
Unifying Theories of Programming
Language: en
Pages: 143
Authors: David Naumann
Categories: Computers
Type: BOOK - Published: 2015-01-05 - Publisher: Springer

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, i
Theories of Programming and Formal Methods
Language: en
Pages: 413
Authors: Zhiming Liu
Categories: Computers
Type: BOOK - Published: 2013-07-24 - Publisher: Springer

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, curr