Principles of Programming LanguagesSyntax. Data. Storage. Control. Binding. Procedural abstraction. Parameters. Definitions and blocks. Jumps. Concurrent processes. Types. Formal semantics. Bibliography on programming languages. Abstract syntax for PASCAL. Syntax diagrams for PASCAL. Semantic domains for PASCAL. |
Other editions - View all
Common terms and phrases
abstract syntax actual parameter ALGOL 68 ALGOL W allow applied occurrences approach arguments array assignment begin C end binary numerals binding occurrence block Boolean bound C. A. R. Hoare component computation concurrent const construct context control structures convenient coroutine declaration defined denotes described discussed domain incompatibilities dynamic binding E₁ E₂ environment equation equivalent error evaluation example execution expression procedure formal parameter FORTRAN free identifiers goto identifier occurrences immediate constituents implementation initial integer interpreted invocation invoked iteration l-expression l-value label language designer LISP loop match mathematical meaning name parameter newtype notation Note operations p₁ p₂ parameter list parameter mechanism PASCAL pattern PL/I pointer possible principle procedure definition programming languages Programming Research Group recursive representation result scope Section semantic descriptions semantic functions sequence side effects SNOBOL4 specified stack static expressions storable values Strachey string termed tion type checking type expressions updating