Arkiver - Side 21

• PB-99 Systems Development and Trade Union Activities

  Nr. 99 (1979)

• PB-101 Methods for Computing LALR(k) Lookahead

  Nr. 101 (1979)

• PB-98 BETA language Proposal as of April 1979

  Nr. 98 (1979)

• PB-96 A Petri Net Definition of a System Description Language

  Nr. 96 (1979)

• PB-97 Optimizing the Evaluation of Calculus Expressions in a Relational Database System

  Nr. 97 (1979)

• PB-94 Specification and Verification of Concurrent Programs

  Nr. 94 (1979)

• PB-95 Delta Semantics Defined by Petri Nets

  Nr. 95 (1979)

• PB-93 A Note on the Complexity of General D0L Membership

  Nr. 93 (1979)

• PB-92 A Comparison of Monitors and Message Passing

  Nr. 92 (1978)

• PB-91 The Copying Power of One-State Tree Transducers

  Nr. 91 (1978)

• PB-90 Attribute Grammars and Mathematical Semantics

  Nr. 90 (1978)

• PB-89 Data Types as Functions

  Nr. 89 (1978)

• PB-88 Interpretation and Code Generation Based on Intermediate Languages

  Nr. 88 (1978)

• PB-81 Construction of System Descriptions in SIMULA and DELTA

  Nr. 81 (1978)

• PB-87 System Modelling: A methodology for describing the structure of complex Software, Firmware, and Hardware systems..

  Nr. 87 (1978)

• PB-84 Succinctness of Descriptions of Context-Free, Regular, and Finite Languages

  Nr. 84 (1978)

• PB-86 Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics

  Nr. 86 (1978)

• PB-85 Complexity of Some Problems Concerning Lindenmayer Systems. (Revised version)

  Nr. 85 (1978)

• PB-82 Ambiguity in Finite Automata

  Nr. 82 (1978)

• PB-65 BETA Language Development: Survey Report, 1. November 1976

  Nr. 65 (1977)

• PB-83 Proposal for a Context Concept in Delta

  Nr. 83 (1978)

• PB-78 Concurrent Program Schemes and their Interpretations

  Nr. 78 (1977)

• PB-80 Blindfold Games are Harder than Games with Perfect Information

  Nr. 80 (1977)

• PB-79 ESMERALDA --- An Intelligent Satellite for Interactive Graphics

  Nr. 79 (1977)

• PB-76 CONSTRUCT - et værktøj til systemudvikling. Rapport nr. 1

  Nr. 76 (1977)