СТ |
Reflections in Opal - Meta Information in a Functional Programming Language |
2000 |
Didrich K., Grieskamp W., Schnitke F., Tantau T., Tracon-Y-Widemann B. |
|
|
|
Lecture Notes in Computer Science |
14.09.2000 |
СТ |
Programming in the Large: The Algebraic-Functional Language Opal 2 alfa |
1998 |
Didrich K., Grieskamp W., Maeder C., Pepper P. |
|
|
|
Lecture Notes in Computer Science |
09.10.1998 |
СТ |
DOSFOP - A Documentation Tool for the Algebraic Programming Language Opal |
1997 |
Didrich K., Klein T. |
|
|
|
Lecture Notes in Computer Science |
16.05.1997 |
СТ |
Realizing Sets by Hash Tables |
1995 |
Pepper P., Betschko R., Dick S., Didrich K. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
СТ |
How to Cope with the Spectrum of Spectrum |
1995 |
Wolter U., Didrich K., Cornelius F., Klar M., Wessaly R., Ehrig H. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
СТ |
OPAL: Design and Implementation of an Algebraic Programming Language |
1994 |
Didrich K., Fett A., Gerke C., Grieskamp W., Pepper P. |
|
|
|
Lecture Notes in Computer Science |
31.03.1994 |