David Van Horn

2007
2	EE	David Van Horn, Harry G. Mairson: Relating complexity and precision in control flow analysis. ICFP 2007: 85-96
2005
1	EE	Christian Skalka, Scott F. Smith, David Van Horn: A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 131: 111-124 (2005)

Coauthor Index

1	Harry G. Mairson	[2]
2	Christian Skalka	[1]
3	Scott F. Smith	[1]

Colors in the list of coauthors