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 A Cultural History of the Irish Novel, 1790–1829 by John C. Reynolds
Cover of the book The Skeptical Environmentalist by John C. Reynolds
Cover of the book Transforming Gender Citizenship by John C. Reynolds
Cover of the book Nietzsche: Thus Spoke Zarathustra by John C. Reynolds
Cover of the book Crafting Courts in New Democracies by John C. Reynolds
Cover of the book Quantum Optics by John C. Reynolds
Cover of the book Theoretical Concepts in Physics by John C. Reynolds
Cover of the book Secure Multiparty Computation and Secret Sharing by John C. Reynolds
Cover of the book Is Killing People Right? by John C. Reynolds
Cover of the book A Course in Mathematical Analysis: Volume 1, Foundations and Elementary Real Analysis by John C. Reynolds
Cover of the book Ancient Legal Thought by John C. Reynolds
Cover of the book Experience and its Modes by John C. Reynolds
Cover of the book The Gas Dynamics of Explosions by John C. Reynolds
Cover of the book Syrian Identity in the Greco-Roman World by John C. Reynolds
Cover of the book Lessons from Nothing 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