Programming Languages and Their Definition 1984

Language

• Hans Bekic:
  Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth. 1
  
• Hans Bekic:
  The Assignment to a Type Procedure Identifier in ALGOL 60. 2-3
  
• Hans Bekic:
  The Meaning of Names in PL/I. 4-16
  

Language Definition

• Hans Bekic:
  Defining a Language in its Own Terms. 17-25
  
• Hans Bekic:
  Note on Some Problems Concerning the PL/I Manual and its Rewriting. 26-29
• Hans Bekic:
  Definable Operation in General Algebras, and the Theory of Automata and Flowcharts. 30-55
  
• Hans Bekic, Kurt Walk:
  Formalization of Storage Properties. 56-85
  
• Hans Bekic:
  On the formal Definition of Programming Language. 86-106
  
• Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas:
  On the Formal Definition of a PL/I Subset (Selected parts). 107-155
  
• Hans Bekic:
  Mathematical Semantics and Compiler Correctness. 156-167
  

Parallelism

• Hans Bekic:
  Towards a Mathematical Theory of Processes. 168-206
  
• Hans Bekic:
  Comments on [Opus 46]. 207-214
• Hans Bekic:
  The Semantics of Parallel Processing. 215-229
  
• Hans Bekic:
  Nondeterministic Functions and the Semantics of CSP. 230-239
  
• Hans Bekic:
  Nondeterministic Programs: An Example. 240-247
  
• Hans Bekic:
  A Model of Nondeterminism: Indexed Sets and Their Equivalence. 248-254