Mini-Workshop on Control Flow Analysis
Date. 18 February 2009. Time. 9.30 - 12.30 + lunch
Roskilde University
Building 43-2.02 (on the northern edge of RUC campus, see here - parking in P-plads nord or P-plads øst)
Programme
-
9.30: Welcome
- 9.35 - 10.35: Jan Midtgaard. A Systematic Approach to Control Flow Analysis by Abstract Interpretation.
- 10.35 - 10.55. Coffee break
- 10.55 - 11.25. Neil Jones. Termination Analysis of Untyped Lambda Calculus
- 11.25 - 11.55. John Gallagher. Rewrite rule analysis via analysis of Horn clauses
- 11.55 - 12.30. Discussion.
- 12.30. Lunch
Sponsored by FNU project SAFT.