Hans Bekic

Publication Activity (10 Years)

Years Active: 1984-1984
Publications (10 Years): 0

Publications

Hans Bekic
Defining a Language in its Own Terms. Programming Languages and Their Definition (1984)
Hans Bekic
Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth. Programming Languages and Their Definition (1984)
Hans Bekic
The Meaning of Names in PL/I. Programming Languages and Their Definition (1984)
Hans Bekic
Mathematical Semantics and Compiler Correctness. Programming Languages and Their Definition (1984)
Hans Bekic
The Semantics of Parallel Processing. Programming Languages and Their Definition (1984)
Hans Bekic, Kurt Walk
Formalization of Storage Properties. Programming Languages and Their Definition (1984)
Hans Bekic
Nondeterministic Functions and the Semantics of CSP. Programming Languages and Their Definition (1984)
Hans Bekic
On the formal Definition of Programming Language. Programming Languages and Their Definition (1984)
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)
Hans Bekic
Note on Some Problems Concerning the PL/I Manual and its Rewriting. Programming Languages and Their Definition (1984)
Hans Bekic
Definable Operation in General Algebras, and the Theory of Automata and Flowcharts. Programming Languages and Their Definition (1984)
Hans Bekic
From comments arising from a lecture in Amsterdam, June 1972. Programming Languages and Their Definition (1984)
Hans Bekic
The Assignment to a Type Procedure Identifier in ALGOL 60. Programming Languages and Their Definition (1984)
Hans Bekic
A Model of Nondeterminism: Indexed Sets and Their Equivalence. Programming Languages and Their Definition (1984)
Hans Bekic
Towards a Mathematical Theory of Processes. Programming Languages and Their Definition (1984)
Hans Bekic
Nondeterministic Programs: An Example. Programming Languages and Their Definition (1984)