Kirsten Lackner Solberg Gasser

Kirsten Lackner Solberg

	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

Coauthor Index

1	Alan Mycroft	[4]
2	Flemming Nielson	[1] [5] [6]
3	Hanne Riis Nielson	[1] [5] [6]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page