Travelled to:
1 × The Netherlands
Collaborated with:
F.Nielson H.R.Nielson
Talks about:
systemat (1) control (1) realis (1) analys (1) flow (1) cml (1)
Person: Kirsten Lackner Solberg Gasser
DBLP: Gasser:Kirsten_Lackner_Solberg
Contributed to:
Wrote 1 papers:
- ICFP-1997-GasserNN #analysis #control flow
- Systematic Realisation of Control Flow Analyses for CML (KLSG, FN, HRN), pp. 38–51.