dblp.uni-trier.dewww.uni-trier.de

David Van Horn Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
5EEDavid Van Horn, Harry G. Mairson: Deciding kCFA is complete for EXPTIME. ICFP 2008: 275-282
4EEDavid Van Horn, Harry G. Mairson: Flow Analysis, Linearity, and PTIME. SAS 2008: 255-269
3EEChristian Skalka, Scott F. Smith, David Van Horn: Types and trace effects of higher order programs. J. Funct. Program. 18(2): 179-249 (2008)
2007
2EEDavid Van Horn, Harry G. Mairson: Relating complexity and precision in control flow analysis. ICFP 2007: 85-96
2005
1EEChristian 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)