Kirsten Lackner Solberg Gasser

According to our database, Kirsten Lackner Solberg Gasser authored at least 6 papers between 1992 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Strictness and Totality Analysis.

Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson

Sci. Comput. Program., 1998

1997

Systematic Realisation of Control Flow Analyses for CML.

Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1995

Strictness and Totality Analysis with Conjunction.

Kirsten Lackner Solberg

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Uniform PERs and Comportment Analysis

Alan Mycroft, Kirsten Lackner Solberg

Proceedings of the Programming Languages: Implementations, 1995

1994

Strictness and Totality Analysis.

Kirsten Lackner Solberg

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

1992

Inference Systems for Binding Time Analysis.

Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992