Bounds checking
Results: 12
# | Item |
---|---|
11 | Logic-Flow Analysis of Higher-Order Programs Matt Might http://matt.might.net/ POPL 2007Add to Reading ListSource URL: matt.might.netLanguage: English - Date: 2014-01-06 09:40:05 |
12 | Information and Computation[removed]–19 www.elsevier.com/locate/ic DP lower bounds for equivalence-checking and model-checking of one-counter automataୋ Petr Janˇcar,a,1 Antonín Kuˇcera,b,1 Faron Moller,c,∗ aAdd to Reading ListSource URL: www-compsci.swan.ac.ukLanguage: English - Date: 2003-12-16 10:28:26 |