Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Hans Bekic

Hans Bekić

> Home > Persons

Person information

unicode name: Hans Bekić
affiliation: IBM Laboratory Vienna, Austria

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1984
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84
Hans Bekic:
Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth. Programming Languages and Their Definition 1984: 1
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84a
Hans Bekic:
The Assignment to a Type Procedure Identifier in ALGOL 60. Programming Languages and Their Definition 1984: 2-3
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84b
Hans Bekic:
The Meaning of Names in PL/I. Programming Languages and Their Definition 1984: 4-16
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84c
Hans Bekic:
Defining a Language in its Own Terms. Programming Languages and Their Definition 1984: 17-25
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84d
Hans Bekic:
Note on Some Problems Concerning the PL/I Manual and its Rewriting. Programming Languages and Their Definition 1984: 26-29
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84e
Hans Bekic:
Definable Operation in General Algebras, and the Theory of Automata and Flowcharts. Programming Languages and Their Definition 1984: 30-55
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/BekicW84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/BekicW84
Hans Bekic, Kurt Walk:
Formalization of Storage Properties. Programming Languages and Their Definition 1984: 56-85
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84f
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84f
Hans Bekic:
On the formal Definition of Programming Language. Programming Languages and Their Definition 1984: 86-106
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/BekicBHJL84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/BekicBHJL84
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
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84g
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84g
Hans Bekic:
Mathematical Semantics and Compiler Correctness. Programming Languages and Their Definition 1984: 156-167
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84h
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84h
Hans Bekic:
Towards a Mathematical Theory of Processes. Programming Languages and Their Definition 1984: 168-206
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84i
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84i
Hans Bekic:
From comments arising from a lecture in Amsterdam, June 1972. Programming Languages and Their Definition 1984: 207-214
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84j
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84j
Hans Bekic:
The Semantics of Parallel Processing. Programming Languages and Their Definition 1984: 215-229
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84k
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84k
Hans Bekic:
Nondeterministic Functions and the Semantics of CSP. Programming Languages and Their Definition 1984: 230-239
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84l
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84l
Hans Bekic:
Nondeterministic Programs: An Example. Programming Languages and Their Definition 1984: 240-247
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ibm/Bekic84m
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/Bekic84m
Hans Bekic:
A Model of Nondeterminism: Indexed Sets and Their Equivalence. Programming Languages and Their Definition 1984: 248-254

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1971
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lnm/BekicW71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/BekicW71
Hans Bekic, Kurt Walk:
Formalization of storage properties. Symposium on Semantics of Algorithmic Languages 1971: 28-61

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.