Programming Language Pragmatics

Michael L. Scott

856 pages, parution le 05/11/2004

Ajouter à une liste

Indisponible

Résumé

Programming Language 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 style, you'll emerge better prepared to choose the best language for particular projects, to make more effective use of languages 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 implemenation, such as iterators, coroutines, templates (generics), separate compilation, I/O, type inference, and exception handling
Reviews language-related topics in assembly-level architecture critical for understanding what a compiler does to a program
Offers in-depth coverage of object-oriented programming, including 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-memory 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)

L'auteur - Michael L. Scott

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 of the Lynx distributed programming language and a 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.

Sommaire

Introduction
Programming Language Syntax
Names, Scopes, and Bindings
Semantics Analysis
Assembly-Level Computer Architecture
Control Flow
Data Types
Subroutines and Control Abstraction
Building a Runnable Program
Data Abstraction and Object Orientation
Nonimperative Programming Models : Functional Logic Languages
Concurrency
Code Improvement

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Morgan Kaufmann
Auteur(s)	Michael L. Scott
Parution	05/11/2004
Nb. de pages	856
Format	19,5 x 24
Couverture	Relié
Poids	1629g
Intérieur	Noir et Blanc
EAN13	9781558604421
ISBN13	978-1-55860-442-1