Programming Languages Principles and Practice

Name: Programming Languages Principles and Practice
Price: 3.81 USD
Availability: InStock
ISBN: 9780534953416

ISBN-10: 0534953417

ISBN-13: 9780534953416

Edition: 2nd 2003 (Revised)

Authors: Kenneth C. Louden

List price: $266.95

30 day, 100% satisfaction guarantee!

Marketplace

2 new & used from $3.81

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

1. INTRODUCTION. What is a Programming Language? Abstractions in Programming Languages. Computational Paradigms. Language Definition. Language Translation. Language Design. 2. HISTORY. Early History: The First Programmer. The 1950s: The First Programming Languages. The 1960: An Explosion in Programming Languages. The 1970: Simplicity, Abstraction, Study. The 1980: New Directions and the Rise of Object-Orientation. The 1990s: Consolidation, the Internet, Libraries, and Scripting. The Future. 3. LANGUAGE DESIGN PRINCIPLES. History and Design Criteria. Efficiency. Regularity. Further Language Design Principles. C++: A Case Study In Language Design. 4. SYNTAX. Lexical Structure of Programming… Languages. Context-Free Grammars and BNFs. Parse Tree and Abstract Syntax Trees. Ambiguity, Associativity, and Precedence. EBNFs and Syntax Diagrams. Parsing Techniques and Tools. Lexics Versus Syntax Versus Semantic. 5. BASIC SEMANTICS. Attributes, Binding, and Semantic Functions. Declarations, Blocks, and Scope. The Symbol Table. Name Resolution and Overloading. Allocation, Lifetimes, and the Environment. Variables and Constants. Aliases, Dangling References, and Garbage. 6. DATA TYPES. Data Types and Type Information. Simple Types. Type Constructors. Type Nomenclature in Sample Languages. Type Equivalence. Type Checking. Type Conversion. Polymorphic Type Checking. Explicit Polymorphism. 7. CONTROL I - EXPRESSIONS AND STATEMENTS. Expressions. Conditional Statements and Guards. Loops and Variation on WHILE. The GOTO Controversy. Exception Handling. 8. CONTROL II- PROCEDURES AND ENVIRONMENTS. Procedure Definition and Activation. Procedure Semantics. Parameter Passing Mechanisms. Procedure Environments, Activations, and Allocation. Dynamic Memory Management. Exception Handling and Environments. 9. MODULES AND ABSTRACT DATA. The Algebraic Specification of Abstract Data Types. Abstract Data Type Mechanism and Modules. Separate Compilation, C++ Namespaces, and Java Packages. Ada Packages. ML Modules. Abstract Data Typos in Earlier Language. Problems with Abstract Data Type Mechanisms. The Mathematics of Abstract Data Types. 10. OBJECT-ORIENTED PROGRAMMING. Software Reuse and Independence. Java: Objects, Classes, and Methods. Inheritance. Dynamic Binding. C++. Smalltalk. Design Issues in Object-Oriented Languages. Implementation Issues in Object-Oriented Languages. 11. FUNCTIONAL PROGRAMMING. Programs as Functions. Functional Programming in an Imperative Language. Scheme: A Dialect of LISP. ML: Functional Programming with Static Typing. Delayed Evaluation. Haskell - A Fully-Curried Lazy Language with Overloading. The Mathematics of Functional Programming I: Recursive Functions. The Mathematics of Functional Programming II: Lambda Calculus. 12. LOGIC PROGRAMMING. Logic and Logic Programs. Horn Clauses. Resolution and Unification. The Language Prolog. Problems with Logic Programming. Extending Logic Programming: Constraint Logic Programming and Equational Systems. 13. FORMAL SEMANTICS OF PROGRAMMING LANGUAGES. A Sample Small Language. Operational Semantics. Denotation Semantics. Axiomatic Semantics. Proofs of Program Correctness. 14. PARALLEL PROGRAMMING. Introduction of Parallel Processing. Parallel Processing and Programming Languages. Threads. Semaphores. Monitors. Message Passing. Parallelism in Non-procedural Languages.

Book details

List price: $266.95
Edition: 2nd
Copyright year: 2003
Publisher: Course Technology
Publication date: 7/16/2002
Binding: Hardcover
Pages: 720
Size: 6.75" wide x 9.75" long x 1.25" tall
Weight: 2.398
Language: English

Kenneth C. Louden is Emeritus Professor of Computer Science and a past chair of the Department of Computer Science at San Jose State University, Silicon Valley's primary supplier of graduates to the tech industry. He has written several texts and articles on advanced topics in computer science.




Introduction



History



Language Design Principles



Syntax



Basic Semantics



Data Types



Control I - Expressions and Statements



Control II- Procedures and Environments



Modules and Abstract Data



Object-Oriented Programming



Functional Programming



Logic Programming



Formal Semantics of Programming Languages



Parallel Programming