The SCEAS System
Navigation Menu

Conferences in DBLP

IBM Scientific Symposium Series (ibm)
1984 (conf/ibm/1984)

  1. Hans Bekic
    Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:1- [Conf]
  2. Hans Bekic
    The Assignment to a Type Procedure Identifier in ALGOL 60. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:2-3 [Conf]
  3. Hans Bekic
    The Meaning of Names in PL/I. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:4-16 [Conf]
  4. Hans Bekic
    Defining a Language in its Own Terms. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:17-25 [Conf]
  5. Hans Bekic
    Note on Some Problems Concerning the PL/I Manual and its Rewriting. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:26-29 [Conf]
  6. Hans Bekic
    Definable Operation in General Algebras, and the Theory of Automata and Flowcharts. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:30-55 [Conf]
  7. Hans Bekic, Kurt Walk
    Formalization of Storage Properties. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:56-85 [Conf]
  8. Hans Bekic
    On the formal Definition of Programming Language. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:86-106 [Conf]
  9. Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas
    On the Formal Definition of a PL/I Subset (Selected parts). [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:107-155 [Conf]
  10. Hans Bekic
    Mathematical Semantics and Compiler Correctness. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:156-167 [Conf]
  11. Hans Bekic
    Towards a Mathematical Theory of Processes. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:168-206 [Conf]
  12. Hans Bekic
    Comments on [Opus 46]. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:207-214 [Conf]
  13. Hans Bekic
    The Semantics of Parallel Processing. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:215-229 [Conf]
  14. Hans Bekic
    Nondeterministic Functions and the Semantics of CSP. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:230-239 [Conf]
  15. Hans Bekic
    Nondeterministic Programs: An Example. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:240-247 [Conf]
  16. Hans Bekic
    A Model of Nondeterminism: Indexed Sets and Their Equivalence. [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:248-254 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002