Klaus Didrich

According to our database, Klaus Didrich authored at least 10 papers between 1994 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

Appyling Model-based Testing to a Train Control System.

Klaus Didrich, Stefan Herbst, Marlon Vieira

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

2002

From program languages to software languages.

Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp

J. Syst. Softw., 2002

2001

Integration of verification and testing into compilation systems: concept and case study.

Klaus Didrich

PhD thesis, 2001

1999

Reflections in Opal - Meta Information in a Functional Programming Language.

Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón y Widemann

Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

1997

DOSFOP - A Documentation Tool for the Algebraic Programming Language OPAL.

Klaus Didrich, Torsten Klein

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Programming in the Large: The Algebraic-Functional Language Opal 2alpha.

Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996

Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract).

Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

How to Cope with the Spectrum of SPECTRUM.

Uwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar

Proceedings of the KORSO, 1995

Realizing Sets by Hash Tables.

Peter Pepper, Ralph Betschko, Sabine Dick, Klaus Didrich

Proceedings of the KORSO, 1995

1994

OPAL: Design and Implementation of an Algebraic Programming Language.

Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper

Proceedings of the Programming Languages and System Architectures, 1994