Theories of Programming Languages

Nonfiction, Science & Nature, Mathematics, Discrete Mathematics, Computers, Programming, Programming Languages, General Computing
Cover of the book Theories of Programming Languages by John C. Reynolds, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: John C. Reynolds ISBN: 9781139930550
Publisher: Cambridge University Press Publication: October 13, 1998
Imprint: Cambridge University Press Language: English
Author: John C. Reynolds
ISBN: 9781139930550
Publisher: Cambridge University Press
Publication: October 13, 1998
Imprint: Cambridge University Press
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Cambridge University Press

Cover of the book The Cambridge Companion to Roman Satire by John C. Reynolds
Cover of the book Real Estate Modelling and Forecasting by John C. Reynolds
Cover of the book The Aporetic Tradition in Ancient Philosophy by John C. Reynolds
Cover of the book Documenting Americans by John C. Reynolds
Cover of the book Public Purpose in International Law by John C. Reynolds
Cover of the book Principles of Photonics by John C. Reynolds
Cover of the book Semiconductor Nanolasers by John C. Reynolds
Cover of the book Introduction to Applied Linear Algebra by John C. Reynolds
Cover of the book Rationality and the Genetic Challenge by John C. Reynolds
Cover of the book Power, Powerlessness and Addiction by John C. Reynolds
Cover of the book The Human Right to Water by John C. Reynolds
Cover of the book Principles of Igneous and Metamorphic Petrology by John C. Reynolds
Cover of the book Edgar Allan Poe in Context by John C. Reynolds
Cover of the book The Drug Wars in America, 1940–1973 by John C. Reynolds
Cover of the book Shakespeare's Stage Traffic by John C. Reynolds
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy