Programming Languages and Their Definition 1984

Cliff B. Jones (Ed.): Programming Languages and Their Definition - Hans Bekic (1936-1982). Lecture Notes in Computer Science 177 Springer 1984, ISBN 3-540-13378-X BibTeX

@proceedings{DBLP:conf/ibm/1984,
  editor    = {Cliff B. Jones},
  title     = {Programming Languages and Their Definition - Hans Bekic (1936-1982)},
  booktitle = {Programming Languages and Their Definition},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {177},
  year      = {1984},
  isbn      = {3-540-13378-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Language

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

Language Definition

Hans Bekic: Defining a Language in its Own Terms. 17-25 BibTeX
Hans Bekic: Note on Some Problems Concerning the PL/I Manual and its Rewriting. 26-29 BibTeX
Hans Bekic: Definable Operation in General Algebras, and the Theory of Automata and Flowcharts. 30-55 BibTeX
Hans Bekic, Kurt Walk: Formalization of Storage Properties. 56-85 BibTeX
Hans Bekic: On the formal Definition of Programming Language. 86-106 BibTeX
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 BibTeX
Hans Bekic: Mathematical Semantics and Compiler Correctness. 156-167 BibTeX

Parallelism

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