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 Islam, Youth, and Modernity in the Gambia by John C. Reynolds
Cover of the book Shakespeare and the Idea of Apocrypha by John C. Reynolds
Cover of the book The Origins of Dominant Parties by John C. Reynolds
Cover of the book Religion, Society and Culture at Dura-Europos by John C. Reynolds
Cover of the book Benefaction and Rewards in the Ancient Greek City by John C. Reynolds
Cover of the book The Origins of Globalization by John C. Reynolds
Cover of the book A History of Theatre in Spain by John C. Reynolds
Cover of the book Music and Social Movements by John C. Reynolds
Cover of the book States, Parties, and Social Movements by John C. Reynolds
Cover of the book 'Crimes against Peace' and International Law by John C. Reynolds
Cover of the book Bullying, Cyberbullying and Student Well-Being in Schools by John C. Reynolds
Cover of the book The Search for Reconciliation by John C. Reynolds
Cover of the book Michelangelo by John C. Reynolds
Cover of the book Comparative Takeover Regulation by John C. Reynolds
Cover of the book Return of the Barbarians 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