Arkiver - Side 19

• PB-152 Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets

  Nr. 152 (1982)

• PB-148 Mathematical Foundation of A Semantic Directed Compiler Generator

  Nr. 148 (1982)

• PB-147 Concurrent Algorithms for Root Searching

  Nr. 147 (1982)

• PB-145 Abstract Semantic Algebras!

  Nr. 145 (1982)

• PB-149 Mapping Integers and Hensel Codes Onto Farey Fractions

  Nr. 149 (1982)

• PB-144 Integer Factorization

  Nr. 144 (1982)

• PB-146 Results on the Propositional µ-Calculus

  Nr. 146 (1982)

• PB-143 A Programming Language for the Inductive Sets, and Applications

  Nr. 143 (1982)

• PB-142 Early Experience from a Multi-Processor Project

  Nr. 142 (1982)

• PB-141 Specification and Design of Distributed Systems

  Nr. 141 (1981)

• PB-140 Program Transformations in a Denotational Setting

  Nr. 140 (1981)

• PB-139 Using computation sequences to define evaluators for attribute grammars

  Nr. 139 (1981)

• PB-138 Computation sequences: A way to characterize subclasses of attribute grammars

  Nr. 138 (1981)

• PB-136 Systemudvikling og systemudviklingsmetode

  Nr. 136 (1981)

• PB-137 Control Flow Treatment in a Simple Semantics-Directed Compiler Generator

  Nr. 137 (1981)

• PB-135 A Denotational Framework for Data Flow Analysis

  Nr. 135 (1981)

• PB-134 An Integrated Rational Arithmetic Unit

  Nr. 134 (1981)

• PB-133 A Cook's Tour of Countable Nondeterminism

  Nr. 133 (1981)

• PB-132 A Semantic Algebra for Binding Constructs

  Nr. 132 (1981)

• PB-131 Semantic Foundations of Data Flow Analysis

  Nr. 131 (1981)

• PB-130 On Minimum Weight Binary Representation of Integers and Continued Fractions with Application to Computer Arithmet

  Nr. 130 (1981)

• PB-129 Analysis of Concurrent Algorithms

  Nr. 129 (1981)

• PB-128 Flow Analysis of Lambda Expressions

  Nr. 128 (1981)

• PB-127 Firmware Development Systems: A Survey

  Nr. 127 (1980)

• PB-126 The Meaning of Logical Programs

  Nr. 126 (1980)