4719 search results - page 44 / 944 » Newtonian program analysis |
137
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
109
Voted
CSMR
2005
IEEE
15 years 8 months ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
116
Voted
IWPC
1997
IEEE
15 years 6 months ago
1997
IEEE
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
66
Voted
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
IFIP
2007
Springer
15 years 8 months ago
2007
Springer