|
Search the dblp DataBase
David Van Horn:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christian Skalka, Scott F. Smith, David Van Horn
A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:111-124 [Journal]
- David Van Horn, Harry G. Mairson
Relating complexity and precision in control flow analysis. [Citation Graph (0, 0)][DBLP] ICFP, 2007, pp:85-96 [Conf]
Deciding kCFA is complete for EXPTIME. [Citation Graph (, )][DBLP]
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. [Citation Graph (, )][DBLP]
Flow Analysis, Linearity, and PTIME. [Citation Graph (, )][DBLP]
Pushdown Control-Flow Analysis of Higher-Order Programs [Citation Graph (, )][DBLP]
Abstracting Abstract Machines [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|