Kirsten Lackner Solberg
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |