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:
analys (2)
tval (1)
implement (1)
valu (1)
revamp (1)

Stem tvla$ (all stems)

3 papers:

SEFMSEFM-2012-FerraraFJ #analysis
TVAL+ : TVLA and Value Analyses Together (PF, RF, UJ), pp. 63–77.
CAVCAV-2007-BogudlovLRS #analysis #parametricity
Revamping TVLA: Making Parametric Shape Analysis Competitive (IB, TLA, TWR, MS), pp. 221–225.
SASSAS-2000-Lev-AmiS #analysis #implementation #named
TVLA: A System for Implementing Static Analyses (TLA, SS), pp. 280–301.

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.