Travelled to:
1 × France
Collaborated with:
M.Eichberg D.Saha M.Mezini K.Ostermann
Talks about:
increment (1) automat (1) static (1) prolog (1) analys (1) base (1)
Person: Matthias Kahl
DBLP: Kahl:Matthias
Contributed to:
Wrote 1 papers:
- PADL-2007-EichbergKSMO #analysis #automation #prolog
- Automatic Incrementalization of Prolog Based Static Analyses (ME, MK, DS, MM, KO), pp. 109–123.