Programming Language Systems |
Contents
A Formalism for the Derivation of Programs | 15 |
Phrase Structures in Pascal | 29 |
Lessons from Automatic Preprocessing of Symbolic | 61 |
Copyright | |
12 other sections not shown
Common terms and phrases
abstract machine activation record actual parameter Algol 60 alternative ANTS array parameters assignment block C.A.R. Hoare COBOL CODASYL Command Languages complete Computer Science coroutines correctness data structures declaration defined definition domain dynamic array dynamic bounds element entity-name example execution expressions extension facilities formal Fortran function given high-level IFIP implementation inductive assertions input integer Interdata interface invariant Janus Job Control Language LINEH LISP LISP machine loop mapping method objects operand stack operating system output Pascal compiler pointers possible predicate preprocessor problem procedure programming language systems proof prove recursive repetitive construct representation routines semantics SIGPLAN Simula Simula 67 solution specification standard OSCL statement storage subgoal induction symbol symbolstack syntactic syntax target technique telegram termination theorem transformations translation tree valid variables virtual program Wirth sequences