Gesellschaft für Informatik e.V.
Fachgruppe 2.1.4
früher
FG 2.1.3
Implementierung von Programmiersprachen
FG 2.1.4 Alternative
Konzepte für Sprachen und Rechner
 |
|
Programmiersprachen und Rechenkonzepte Programm |
|
| Montag, 3. Mai 2004 |
14.00 - 15.30 Uhr
 |
Begrüßung (W. Goerigk) |
| |
Wolfram Lippe (Univ. Münster) Zur Geschichte der Rechenautomaten - Von der Antike bis zur Neuzeit |
| |
Walter Dosch (Univ. Lübeck) From Communications Histories to State Transition Machines |
| |
Clemens Grelck (Univ. Lübeck) Generische Array-Programmierung mit SAC |
| |
Hermann von Issendorff (Hemmoor) Von mathematischen über algorithmische zu physikalischen Strukturen |
 |
Ulrich Hoffmann
(Eckernförde) Hardware/Software-Codesign mit der MicroCore-Architektur |
| Dienstag, 4. Mai 2004 |
| |
Christian Heinlein (Univ. Ulm) Weiterführende Konzepte für prozedurale Programmiersprachen |
| |
Ralf Lämmel (Vrije Universiteit Amsterdam) What semantics fits with my aspects? |
|
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 |
| |
Roger A. Müller (Univ. Münster) Issues in the Implementation of a Symbolic Java Virtual Machine for Test Case Generation |
|
Nicole
Rauch, Burkhart Wolff (Univ.
Kaiserslautern, Univ. Freiburg) Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL |
| Mittwoch, 5. Mai 2004 |
| |
Michael Hanus (Univ. Kiel) Dynamic Predicates In Functional Logic Programs |
| |
Bernd Brassel,
Michael Hanus, Frank Huch (Univ. Kiel) Encapsulating Non-Determinism in Functional Logic Computations |
|
Frank Huch, Bernd Brassel, Michael
Hanus (Univ. Kiel) Tracing Curry by Program Transformation |
| |
Robert Giegerich, Peter
Steffen (Univ. Bielefeld) Versatile and Declarative Dynamic Programming Using Pair Algebras |
|
Matthias Neubauer (Univ.
Freiburg) An Implementation of Session Types |
| |