We stand with Ukraine  

Hans Bekic

Affiliations:
  • IBM Laboratory Vienna, Austria


According to our database1, Hans Bekic authored at least 17 papers between 1971 and 1984.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1984
Formalization of Storage Properties.
[BibTeX]
[DOI]
Hans Bekic
,
Kurt Walk
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

On the Formal Definition of a PL/I Subset (Selected parts).
[BibTeX]
[DOI]
Hans Bekic
,
Dines Bjørner
,
Wolfgang Henhapl
,
Cliff B. Jones
,
Peter Lucas
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

A Model of Nondeterminism: Indexed Sets and Their Equivalence.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

Nondeterministic Programs: An Example.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

Nondeterministic Functions and the Semantics of CSP.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

The Semantics of Parallel Processing.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

From comments arising from a lecture in Amsterdam, June 1972.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

Towards a Mathematical Theory of Processes.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

Mathematical Semantics and Compiler Correctness.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

On the formal Definition of Programming Language.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

Definable Operation in General Algebras, and the Theory of Automata and Flowcharts.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

Note on Some Problems Concerning the PL/I Manual and its Rewriting.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

Defining a Language in its Own Terms.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

The Meaning of Names in PL/I.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

The Assignment to a Type Procedure Identifier in ALGOL 60.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth.
[BibTeX]
[DOI]
Hans Bekic
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

1971
Formalization of storage properties.
[BibTeX]
[DOI]
Hans Bekic
,
Kurt Walk
Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971


  Loading...