| |
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] |