Travelled to:1 × Italy
1 × Sweden
Collaborated with:G.Snelting U.Schroeder
Talks about:infer (2) base (2) overload (1) support (1) resolut (1) program (1) larg (1) ada (1)
Person: Franz-Josef Grosch
DBLP: Grosch:Franz=Josef
Contributed to:
1991
1990Wrote 2 papers:
- ESEC-1991-SneltingGS #in the large #programming
- Inference-Based Support for Programming in the Large (GS, FJG, US), pp. 396–408.
- PLILP-1990-GroschS #ada
- Inference-Based Overloading Resolution for ADA (FJG, GS), pp. 30–44.