| 1995 |
|---|
| 5 | | Dietmar Wolz:
Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics.
COMPASS/ADT 1995: 536-550 |
| 1992 |
|---|
| 4 | | Henk Eertink,
Dietmar Wolz:
Symbolic execution of LOTOS specifications.
FORTE 1992: 295-310 |
| 1990 |
|---|
| 3 | | Dietmar Wolz:
Design of a Compiler for Lazy Pattern Driven Narrowing.
ADT 1990: 362-379 |
| 1989 |
|---|
| 2 | | Dietmar Wolz,
Paul Boehm:
Compilation of LOTOS Data Type Specifications.
PSTV 1989: 187-202 |
| 1988 |
|---|
| 1 | | Dietmar Wolz:
Compilation of Algebraic Specifications and Term Rewriting Systems.
ADT 1988 |
