Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Mini-Workshop on CFA - 18 February 2009
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