| |
| * | 1984 | |
|---|---|---|
| 16 | EE | Hans Bekic: Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth. Programming Languages and Their Definition 1984: 1 |
| 15 | EE | Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas: On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition 1984: 107-155 |
| 14 | EE | Hans Bekic: Mathematical Semantics and Compiler Correctness. Programming Languages and Their Definition 1984: 156-167 |
| 13 | EE | Hans Bekic: Towards a Mathematical Theory of Processes. Programming Languages and Their Definition 1984: 168-206 |
| 12 | EE | Hans Bekic: Defining a Language in its Own Terms. Programming Languages and Their Definition 1984: 17-25 |
| 11 | EE | Hans Bekic: The Assignment to a Type Procedure Identifier in ALGOL 60. Programming Languages and Their Definition 1984: 2-3 |
| 10 | Hans Bekic: Comments on [Opus 46]. Programming Languages and Their Definition 1984: 207-214 | |
| 9 | EE | Hans Bekic: The Semantics of Parallel Processing. Programming Languages and Their Definition 1984: 215-229 |
| 8 | EE | Hans Bekic: Nondeterministic Functions and the Semantics of CSP. Programming Languages and Their Definition 1984: 230-239 |
| 7 | EE | Hans Bekic: Nondeterministic Programs: An Example. Programming Languages and Their Definition 1984: 240-247 |
| 6 | EE | Hans Bekic: A Model of Nondeterminism: Indexed Sets and Their Equivalence. Programming Languages and Their Definition 1984: 248-254 |
| 5 | Hans Bekic: Note on Some Problems Concerning the PL/I Manual and its Rewriting. Programming Languages and Their Definition 1984: 26-29 | |
| 4 | EE | Hans Bekic: Definable Operation in General Algebras, and the Theory of Automata and Flowcharts. Programming Languages and Their Definition 1984: 30-55 |
| 3 | EE | Hans Bekic: The Meaning of Names in PL/I. Programming Languages and Their Definition 1984: 4-16 |
| 2 | EE | Hans Bekic, Kurt Walk: Formalization of Storage Properties. Programming Languages and Their Definition 1984: 56-85 |
| 1 | EE | Hans Bekic: On the formal Definition of Programming Language. Programming Languages and Their Definition 1984: 86-106 |
| 1 | Dines Bjørner | [15] |
| 2 | Wolfgang Henhapl | [15] |
| 3 | Cliff B. Jones | [15] |
| 4 | Peter Lucas | [15] |
| 5 | Kurt Walk | [2] |