 |
Wolfram Lippe (Univ. Münster)
Ein
Überblick über die Entwicklung der
Rechenautomaten
|
|
Walter Dosch (Univ. Lübeck)
From
Communications Histories to State Transition Machines |
|
|
|
Clemens Grelck, Sven-Bodo Scholz
(Univ.
Lübeck)
Generic
Array Programming in SAC |
|
Hermann von Issendorff (Hemmoor)
Von
mathematischen über algorithmische zu physikalischen Strukturen |
|
Ulrich Hoffmann
(Eckernförde)
Hardware/Software-Codesign
mit der MicroCore-Architektur [Abstract]
|
|
|
|
Christian Heinlein (Univ. Ulm)
Advanced Procedural Programming
Language Elements |
|
Ralf Lämmel (Vrije
Universiteit Amsterdam)
What semantics fits
with my aspects? [Abstract]
|
|
Christof Lutteroth (FU Berlin)
Demonstration of
Factory - A Java Extension for Generative Programming |
|
|
|
Christoph Lembeck (Univ.
Münster)
Constraint Solving for
Generating Glass-Box Test Cases [Abstract]
|
|
Roger A. Müller (Univ.
Münster)
Issues in the
Implementation
of a Symbolic Java Virtual Machine for Test Case Generation [Abstract]
|
|
Nicole
Rauch, Burkhart Wolff (Univ.
Kaiserslautern, Univ. Freiburg)
Formalizing Java's
Two's-Complement Integral Type in Isabelle/HOL |
|
|
|
Michael Hanus (Univ. Kiel)
Functional Logic Programs with
Dynamic Predicates |
|
Bernd
Brassel,
Michael Hanus, Frank Huch (Univ. Kiel)
Encapsulating
Non-Determinism in Functional Logic Computations [Abstract]
|
|
Frank
Huch, Bernd Brassel, Michael
Hanus (Univ. Kiel)
Tracing Curry by Program
Transformation [Abstract] |
|
|
|
Robert Giegerich, Peter
Steffen (Univ. Bielefeld)
Pair Evaluation Algebras in
Dynamic Programming |
|
Matthias Neubauer (Univ.
Freiburg)
An Implementation of
Session Types [Abstract]
|
