Programming Language Pragmatics Author:Michael L. Scott Programming Languages and Pragmatics addresses the fundamental principles at work in the most important contemporary languages, highlights the critical relationship between language design and language implementation, and devotes special attention to issues of importance to the expert programmer. Thanks to its rigorous but accessible teaching st... more »yle, you'll emerge better prepared to choose the best language for particular projects to make more effective use of language you already know, and to learn new languages quickly and completely.
Features
Addresses the most recent developments in programming language design, spanning more than forty different languages, including Ada 95, C, C++, Fortran 95, Java, Lisp, Scheme, ML, Modula-3, Pascal and Prolog.
Places a special emphasis on implementation issues - how the techniques used by compilers and related tools influence language design, and vice versa.
Covers advanced topics in language design and implementation, such as iterators, coroutines, templates (generics), separate compilation, I/O, type inference, and exception handling.
Reviews language-related topics in asssembly-level architecture critical for understanding what a compiler does to a program.
Offers in-depth coverage of object-oriented programming, include multiple inheritance and dynamic method binding.
Devotes a special section to static and dynamic linking.
Includes a comprehensive chapter on concurrency, with detailed coverage of both shared-mmory and message-passing languages and libraries.
Provides an accessible introduction to the formal foundations of compilation (automata theory), functional programming (lambda calculus), and logic programming (predicate calculus).
About the Author
Michael L. Scott is a professor in the University of Rochester's Department of Computer Science, which he chaired from 1996 to 1999. He is the designer on the Lynx distributed programming language and co-designer of the Charlotte and Psyche parallel operating systems, the Bridge parallel file system, the Cashmere distributed shared memory system, and the MCS mutual exclusion lock. He received his Ph.D. from the University of Wisconsin-Madison in 1985.« less