|
СТ |
Colimits for Concurrent Collectors |
2003 |
Pavlovic D., Pepper P., Smith D. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
|
СТ |
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 |
|
СТ |
Communicating Functional Agants and Their Application to Graphical User Interfaces |
1996 |
Frauenstein T., Grieskamp E., Pepper P., Sudholt M. |
|
|
|
Lecture Notes in Computer Science |
15.02.1997 |
|
СТ |
A Method for the Development of Correct Software |
1995 |
Pepper P., Wirsing M. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
Program Development in an Algebraic Setting |
1993 |
Pepper P. |
|
|
|
Lecture Notes in Computer Science |
08.02.1994 |
|
СТ |
Algebraic Programming in OPAL |
1993 |
Fett A., Gerke C., Grieskamp W., Pepper P. |
|
|
|
EATCS Bull. |
07.12.1993 |
|
СТ |
Functional Development of Massively Parallel Programs |
1993 |
Pepper P., Exner J., Sudholt M. |
|
|
|
Lecture Notes in Computer Science |
20.11.1993 |
|
СТ |
Algebraic Programming in Opal |
1993 |
Fett A., Gerke C., Grieskamp W., Pepper P. |
|
|
|
EATCS Bull. |
30.07.1993 |
