|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 11 keywords
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Van Horn, Matthew Might |
Abstracting abstract machines: a systematic approach to higher-order program analysis.  |
Commun. ACM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Van Horn, Matthew Might |
Systematic Abstraction of Abstract Machines |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Van Horn, Matthew Might |
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sam Tobin-Hochstadt, David Van Horn |
Semantic Solutions to Program Analysis Problems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Matthew Might, David Van Horn |
A family of abstract interpretations for static analysis of concurrent higher-order programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sam Tobin-Hochstadt, David Van Horn |
Modular Analysis via Specifications as Values |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Van Horn, Matthew Might |
An Analytic Framework for JavaScript |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Matthew Might, David Van Horn |
A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Earl, Matthew Might, David Van Horn |
Stack-Summarizing Control-Flow Analysis of Higher-Order Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Christopher Earl, Matthew Might, David Van Horn |
Pushdown Control-Flow Analysis of Higher-Order Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | David Van Horn, Matthew Might |
Abstracting Abstract Machines |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stephen Chang, David Van Horn, Matthias Felleisen |
Evaluating Call-By-Need on the Control Stack |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Matthew Might, Yannis Smaragdakis, David Van Horn |
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
k-cfa, m-cfa, object-oriented, static analysis, functional, pointer analysis, control-flow analysis |
| 1 | David Van Horn, Matthew Might |
Abstracting abstract machines. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Chang, David Van Horn, Matthias Felleisen |
Evaluating Call-by-Need on the Control Stack. |
Trends in Functional Programming |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Skalka, Scott F. Smith, David Van Horn |
Types and trace effects of higher order programs. |
J. Funct. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Van Horn, Harry G. Mairson |
Deciding kCFA is complete for EXPTIME. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
complexity, flow analysis |
| 1 | David Van Horn, Harry G. Mairson |
Flow Analysis, Linearity, and PTIME. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Van Horn, Harry G. Mairson |
Relating complexity and precision in control flow analysis. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
eta expansion, proofnet, complexity, static analysis, continuation, normalization, linear logic, control flow analysis, geometry of interaction |
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")