 | 1997 |
4 |  | Franz-Josef Grosch:
M - eine typisierte, funktionale Sprache für das Programmieren-im-Großen.
GI Jahrestagung 1997: 542-551 |
| 1994 |
3 |  | Gregor Snelting,
Bernd Fischer,
Franz-Josef Grosch,
Matthias Kievernagel,
Andreas Zeller:
Die inferenzbasierte Softwareentwicklungsumgebung NORA.
Inform., Forsch. Entwickl. 9(3): 116-131 (1994) |
| 1991 |
2 |  | Gregor Snelting,
Franz-Josef Grosch,
Ulrik Schroeder:
Inference-Based Support for Programming in the Large.
ESEC 1991: 396-408 |
| 1990 |
1 |  | Franz-Josef Grosch,
Gregor Snelting:
Inference-Based Overloading Resolution for ADA.
PLILP 1990: 30-44 |