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 |
|
| Mittwoch, 7. Mai 2003 |
14.00 - 15.30 Uhr
|
Begrüßung (W. Goerigk) |
|
|
Herbert Kuchen (Univ. Münster) Parallele Programmierung mit Algorithmischen Skeletten |
|
|
Sergio Antoy, Bernd Brassel, Michael Hanus (Portland
State Univ., Univ. Kiel) Conditional Narrowing without Conditions |
|
|
Ulrich Hoffmann (Heidelberger Druckmaschinen
AG, Kiel) Über die skalierbare Prozessor-Architektur MicroCore |
|
|
Michael Franz (Univ. of California, Irvine) Safe Code - It's Not Just For Applets Anymore |
| Donnerstag, 8. Mai 2003 |
|
|
Hermann von Issendorff (Hemmoor) Schaltungsentwurf und -Layout mit Aktonalgebra |
|
|
Frank Huch (Univ. Kiel) Fehlersuche beim Debuggen nebenläufiger Programme |
|
|
Stephan Frank, Martin Grabmüller,
Petra Hofstedt, Andre Metzner (TU Berlin) Constraints, Predicates, Functions and a Turtle |
|
|
Martin Grabmüller (TU Berlin) The Constraint Imperative Programming Language Turtle |
|
|
M. Bauer, O. Seng (FZI Karlsruhe) Werkzeuggestützte Qualitätssicherung: Ein Erfahrungsbericht |
|
|
M. Müller-Olm (Univ. Dortmund) (Linear) Algebra for Program Analysis |
|
|
Ch. Steigner, J. Wilke (Univ. Koblenz) Verstehen dynamischer Programmaspekte mittels Software-Instrumentierung |
| Freitag, 9. Mai 2003 |
|
|
Jens Knoop (Univ. Wien) Constant Propagation on the Value Graph: Simple Constants and Beyond |
|
|
Berthold Hoffmann, Mark Minas (Univ. Bremen, UniBW München) Ein Werkzeug für die Programmierung von Diagrammsprachen |
|
|
Klaus Höppner (Univ. Kiel) Translating Embedded Curry to C |
|
|