From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: **
X-Spam-Status: No, score=2.1 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY,PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 10cc59,13a83911a3697449,start
X-Google-Attributes: gid10cc59,public
X-Google-Thread: 103d24,13a83911a3697449,start
X-Google-Attributes: gid103d24,public
X-Google-Thread: 103376,13a83911a3697449,start
X-Google-Attributes: gid103376,public
From: webmaster@mkp.com
Subject: New Book: PROGRAMMING LANGUAGE PRAGMATICS
Date: 1999/10/27
Message-ID: <7v7tb5$l0g$1@nnrp1.deja.com>#1/1
X-Deja-AN: 541329537
X-Http-Proxy: 1.0 x41.deja.com:80 (Squid/1.1.22) for client 208.164.121.60
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Wed Oct 27 22:11:52 1999 GMT
X-MyDeja-Info: XMYDJUIDmorgan_kaufmann
Newsgroups: comp.lang.scheme,comp.lang.ada,comp.lang.pascal
X-Http-User-Agent: Mozilla/4.61 [en] (Win95; I)
Date: 1999-10-27T00:00:00+00:00
List-Id: <comp.lang.ada>

PROGRAMMING LANGUAGE PRAGMATICS
by Michael L. Scott
Morgan Kaufmann Publishers, October 1999, ISBN: 1-55860-442-1

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).

CONTENTS
Preface -- Introduction -- Programming Language Syntax -- Names, Scopes,
and Bindings -- Semantic Analysis -- Assembly-Level Computer
Architecture -- Control Flow -- Data Types -- Subroutines and Control
Abstraction -- Data Abstraction and Object Orientation -- Alternative
Programming Models: Functional and Logic Languages -- The Back End of
the Compiler -- Concurrency -- Code Improvement -- Appendices

FOR MORE INFORMATION:
http://www.mkp.com/books_catalog/1-55860-442-1.asp

Morgan Kaufmann Publishers
San Francisco, California
http://www.mkp.com
orders@mkp.com


Sent via Deja.com http://www.deja.com/
Before you buy.