Travelled to:1 × Japan
1 × Portugal
Collaborated with:M.Störzer M.Bach F.Steimann
Talks about:general (2) type (2) systemat (1) interfer (1) program (1) checker (1) preced (1) eclips (1) detect (1) declar (1)
Person: Florian Forster
DBLP: Forster:Florian
Contributed to:
2007
2006Wrote 2 papers:
- FASE-2007-BachFS #eclipse #plugin #programming
- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types (MB, FF, FS), pp. 117–120.
- ASE-2006-StorzerF #detection
- Detecting Precedence-Related Advice Interference (MS, FF), pp. 317–322.