Foundations of programming languages : design and implementation / Seyed H. Roosta.

CONTENTS

1 Introduction

1.1 Programming language design
1.2 Programming language processing
1.3 Machine languages
1.4 Low-level languages
1.5 High level languages

2 Data types

2.1 Data types
2.2 Type building
2.3 Type checking
2.4 Type conversion

3 Design specification principles

3.1 Abstractions
3.2 Parameters and parameter transmission
3.3 Exceptions and exception handling
3.4 Expressions
3.5 Static and dynamic Environments

4 Syntax specifications

4.1 Regular expressions
4.2 Formal grammars
4.3 Syntax specification
4.4 Classification of grammars
4.5 Syntax tree
etc

5 Semantic specifications

5.1 Axiomatic semantics
5.2 Operational semantics
5.3 Denotational semantics

6 Imperative programming specifications

6.1 Implementing programming languages
6.2 Design principles for imperative programming
6.3 Control flow for imperative programming
6.4 Execution steps for imperative programming
6.5 Undesirable characteristics for imperative programming
etc

7 Imperative programming languages

7.1 Imperative programming with C languages
7.1.1 Lexical elements, Data types, Operators and punctuator
7.1.2 Control flow
7.1.3 Arrays, functions and pointers

7.2 Imperative programming with modula-2 language

7.2.1 Declarations
7.2.2 Data types
7.2.3 Data aggregates
7.2.4 Type equivalence
etc

8 Object- Oriented programming specifications

8.1 General characteristics for object - based programming
8.2 Design principles for object- oriented programming
8.3 Implementing object-oriented programming
8.4 Desirable characteristics for object-oriented programming

9 Object-Oriented programming languages

9.1 Object-Oriented programming with smalltalk
9.2 Object-oriented programming with C++
9.3 Object-oriented programming with Java
9.4 Differences between Java and C++

10 Declarative programming specifications

10.1 Logic programming language Model
10.2 Logical statements
10.3 Resolution
10.4 Unification
10.5 Search structures
etc

11 Declarative programming languages

11.1 Logic programming with prolog
11.2 Program structures
11.3 Logical variable
11.4 Syntax structures
11.5 Control structure
etc

12 Applicative programming specifications

12.1 Lambda Calculus
12.1.1 Ambiguity
12.1.2 Free and Bound Identifiers
12.1.3 Reductions
etc

12.2 Principles of functional programming

12.2.1 Composition
12.2.2 Construction
12.2.3 Insert
12.2.4 Apply to all
12.2.5 Condition

13 Applicative programming languages

13.1 Functional programming with LISP
13.2 Functional programming with Scheme
13.3 Functional programming with ML

14 Parallel programming specifications

14.1 Specification of computer architectures
14.2 Principles of parallel programming
14.3 Precedence graph
14.4 Data parallelism versus control parallelism
14.5 Message passing versus shared address space
etc

15 Parallel Programming languages

15.1 Synchronous parallel programming with UNIX
15.1.1 Process creation
15.1.2 Process interaction
15.1.3 Timing of process execution
etc
15.2 Asynchronous parallel programming with Ada

15.2.1 Language model
15.2.2 Architecture model
15.2.3 Process definition
etc
15.3 Data Parallel programming with C*
15.3.1 Parallel variables
15.3.2 Parallel Operations
15.3.3 Parallel Communication

16 Additional programming Methods

16.1 Data flow programming
16.2 Data flow programming with VAL
16.3 Database programming
16.4 Database programming
16.5 Network programming
16.6 Network programming with sockets
etc

Includes bibliographical references p. 633-642 , indexes p.643-652.