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 Freud by John C. Reynolds
Cover of the book Case Studies in Adult Intensive Care Medicine by John C. Reynolds
Cover of the book Psychology Research Methods by John C. Reynolds
Cover of the book Law and Development and the Global Discourses of Legal Transfers by John C. Reynolds
Cover of the book The Boundaries of Australian Property Law by John C. Reynolds
Cover of the book Abortion Politics in Congress by John C. Reynolds
Cover of the book Universal Themes of Bose-Einstein Condensation by John C. Reynolds
Cover of the book Dialogue, Politics and Gender by John C. Reynolds
Cover of the book The Politics of Opera in Handel's Britain by John C. Reynolds
Cover of the book Introductory Econometrics for Finance by John C. Reynolds
Cover of the book Privacy, Confidentiality, and Health Research by John C. Reynolds
Cover of the book The Cambridge Companion to Greek and Roman Theatre by John C. Reynolds
Cover of the book Counterfactuals and Causal Inference by John C. Reynolds
Cover of the book Cox Rings by John C. Reynolds
Cover of the book Late Modern English Syntax 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