Programming Languages and Their Definition: H. Bekič (1936–1982)

Note on a test example for ALGOL60 compilers by D.E. Knuth....Pages 1-1
The assignment to a type procedure identifier in ALGOL60....Pages 2-3
The meaning of names in PL/I....Pages 4-16
Defining a language in its own terms....Pages 17-25
Note on some problems concerning the PL/I manual and its re-writing....Pages 26-29
Definable operations in general algebras, and the theory of automata and flowcharts....Pages 30-55
Formalization of storage properties....Pages 56-85
On the formal definition of programming languages....Pages 86-106
A formal definition of a PL/I subset....Pages 107-155
Mathematical semantics and compiler correctness....Pages 156-167
Towards a mathematical theory of processes....Pages 168-206
From comments arising from a lecture in Amsterdam, June 1972....Pages 207-214
The semantics of parallel processing....Pages 215-229
Nondeterministic functions and the semantics of CSP....Pages 230-239
Nondeterministic programs : An example....Pages 240-247
A model of nondeterminism: Indexed sets and their equivalence....Pages 248-254