![]() | ![]() |
Kirsten Lackner Solberg
List of publications from the DBLP Bibliography Server - FAQ
1998 | ||
---|---|---|
6 | Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson: Strictness and Totality Analysis. Sci. Comput. Program. 31(1): 113-145 (1998) | |
1997 | ||
5 | Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson: Systematic Realisation of Control Flow Analyses for CML. ICFP 1997: 38-51 | |
1995 | ||
4 | Alan Mycroft, Kirsten Lackner Solberg: Uniform PERs and Comportment Analysis PLILP 1995: 169-187 | |
3 | Kirsten Lackner Solberg: Strictness and Totality Analysis with Conjunction. TAPSOFT 1995: 501-515 | |
1994 | ||
2 | Kirsten Lackner Solberg: Strictness and Totality Analysis. SAS 1994: 408-422 | |
1992 | ||
1 | Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson: Inference Systems for Binding Time Analysis. WSA 1992: 247-254 |
1 | Alan Mycroft | [4] |
2 | Flemming Nielson | [1] [5] [6] |
3 | Hanne Riis Nielson | [1] [5] [6] |