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 Public Painting and Visual Culture in Early Republican Florence by John C. Reynolds
Cover of the book The Direction of War by John C. Reynolds
Cover of the book Optimal Transport by John C. Reynolds
Cover of the book Commercial Law by John C. Reynolds
Cover of the book Heavenly Priesthood in the Apocalypse of Abraham by John C. Reynolds
Cover of the book Lisp in Small Pieces by John C. Reynolds
Cover of the book The Monkeys of Stormy Mountain by John C. Reynolds
Cover of the book Cicero's De Finibus by John C. Reynolds
Cover of the book MRI-Negative Epilepsy by John C. Reynolds
Cover of the book Radicalism and Political Reform in the Islamic and Western Worlds by John C. Reynolds
Cover of the book The Physics of Ettore Majorana by John C. Reynolds
Cover of the book Earth Materials 2nd Edition by John C. Reynolds
Cover of the book The Political Philosophy of Zionism by John C. Reynolds
Cover of the book A Guide to Monte Carlo Simulations in Statistical Physics by John C. Reynolds
Cover of the book From Current Algebra to Quantum Chromodynamics 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