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

Conference and Workshop Papers

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

Parts in Books or Collections

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.