Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Programming Languages and Their Definition 1984

> Home > Conferences and Workshops

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ibm/1984
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ibm/1984
Cliff B. Jones:
Programming Languages and Their Definition - Hans Bekic (1936-1982). Lecture Notes in Computer Science 177, Springer 1984, ISBN 3-540-13378-X

Language

- 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. 1
- 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. 2-3
- 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. 4-16

Language Definition

- 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. 17-25
- 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. 26-29
- 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. 30-55
- 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. 56-85
- 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. 86-106
- 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). 107-155
- 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. 156-167

Parallelism

- 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. 168-206
- 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. 207-214
- 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. 215-229
- 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. 230-239
- 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. 240-247
- 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. 248-254

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.