BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
analysi (4)
flow (2)
orient (1)
eigen (1)
approach (1)

Stem cfa$ (all stems)

6 papers:

POPLPOPL-2011-PrabhuRMH #analysis #named
EigenCFA: accelerating flow analysis with GPUs (TP, SR, MM, MWH), pp. 511–522.
ESOPESOP-2010-VardoulakisS #analysis #approach #control flow #named
CFA2: A Context-Free Approach to Control-Flow Analysis (DV, OS), pp. 570–589.
PLDIPLDI-2010-MightSH #functional #object-oriented #program analysis
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis (MM, YS, DVH), pp. 305–315.
Deciding kCFA is complete for EXPTIME (DVH, HGM), pp. 275–282.
VMCAIVMCAI-2007-MightCS #model checking
Model Checking Via GammaCFA (MM, BC, OS), pp. 59–73.
POPLPOPL-2006-MightS #analysis
Environment analysis via Delta CFA (MM, OS), pp. 127–140.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.