792 search results - page 10 / 159 » Static Analysis of XSLT Programs |
135
Voted
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
121
Voted
SEFM
2006
IEEE
16 years 11 days ago
2006
IEEE
135
Voted
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
160
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
199
Voted
AGP
2010
IEEE
15 years 10 months ago
2010
IEEE
