Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Relating complexity and precision in control flow analysis
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Types from control flow analysis
Program analysis and compilation, theory and practice
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Control-flow analysis of functional programs
ACM Computing Surveys (CSUR)
Control flow analysis for the join calculus
SAS'12 Proceedings of the 19th international conference on Static Analysis
Hi-index | 0.00 |