Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 0CFA with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-2009 (12)
Publication types (Num. hits)
article(3) inproceedings(9)
Venues (Conferences, Journals, ...)
ACM Trans. Program. Lang. Syst...(2) ESOP(2) PEPM(2) APLAS(1) FOSAD(1) ICFP(1) Inf. Process. Lett.(1) POPL(1) SAS(1)
Authors
David Van Horn(2) Harry G. Mairson(2) Scott F. Smith 0001(2) Suresh Jagannathan(2) Andrew K. Wright(1) Christian Skalka(1) Flemming Nielson(1) Frank Pfenning(1) Galen B. Williamson(1) Hanne Riis Nielson(1) J. Michael Ashley(1) Kwangkeun Yi(1) Mikael Buchholtz(1) Mitchell Wand(1) Naoki Kobayashi 0001(1) Oukseh Lee(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 16 keywords
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
113David Van Horn, Harry G. Mairson Flow Analysis, Linearity, and PTIME. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
68Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz Security for Mobility. Search on Bibsonomy FOSAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
68J. Michael Ashley, R. Kent Dybvig A Practical and Flexible Flow Analysis for Higher-Order Languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF abstract interpretation, higher-order languages
46Oukseh Lee, Kwangkeun Yi, Yunheung Paek A proof method for the correctness of modularized 0CFA. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45David Van Horn, Harry G. Mairson Relating complexity and precision in control flow analysis. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF eta expansion, proofnet, complexity, static analysis, continuation, normalization, linear logic, control flow analysis, geometry of interaction
45Mitchell Wand, Galen B. Williamson A Modular, Extensible Proof Method for Small-Step Flow Analyses. Search on Bibsonomy ESOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Paritosh Shroff, Christian Skalka, Scott F. Smith 0001 The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF 0CFA, program analysis, program verification, higher-order
23Robert J. Simmons, Frank Pfenning Linear logical approximations. Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bottom-up linear logic programming, abstract interpretation, operational semantics
23Naoki Kobayashi 0001 Type-Based Useless Variable Elimination. Search on Bibsonomy PEPM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Scott F. Smith 0001, Tiejun Wang Polyvariant Flow Analysis with Constrained Types. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Andrew K. Wright, Suresh Jagannathan Polymorphic Splitting: An Effective Polyvariant Flow Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF polyvariance, flow analysis, inlining, run-time checks
23Suresh Jagannathan, Stephen Weeks A Unified Treatment of Flow Analysis in Higher-Order Languages. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license