Includes index

• Machine language and machine organization
 Basic concepts
 The representation and transformation of information
 Registers, formats, fields, and their specification
 Instructions, programming, and re-entrant code
 Basic address computation
 Generalized registers and pushdown stores
 Interrupts, trapping, and dynamic initialization
 Communication between function modules
 Simultaneous input-output and computation
 Resource allocation in multiprogramming systems
 Virtual processors
 Processing unit organization for two components addressing
 Physical-register computation under paging and segmentation
• Assemblers, symbol tables, and macros
 Basic concepts of scanning and assembly
 Symbol-table look-up, searching, sorting, and function evaluation
 Table- driven programs
 Index-register optimization and resource allocation
 Control operations
 Assembly with macro-operations
• Macro generators and the LAMBDA calculus
 Substitutive function evaluation
 The general- purpose macro generator
 TRAC- A system for text and macro handling
 Macro templates and syntax macros
 The lambda calculus
 Conditional, logical, and arithmetic operations in the Lambda calculus
 Syntax of Lambda expressions
 Lambda- calculus machines
 LISP and evaluation of LISP in LISP
 The SECD machine
 Universal programs, universal computers, and universal Turing machines
• Procedure- oriented languages
Introduction
 System symbols, identifiers, and type specifications
 The structure and evaluation of simple expressions and statements
 Expressions, statements, and side effects in ALGOL
 The block structure of ALGOL
 The run- time representation of ALGOL
 Efficient ALGOL run time environments
 Programmer-defined information structures
 The structure of PL/I
 Coroutines, event notices, and tasks
 Simulation languages
• Syntactic specification and syntactic analysis