4719 search results - page 42 / 944 » Newtonian program analysis |
APLAS
2005
ACM
14 years 1 months ago
2005
ACM
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
CC
2003
Springer
14 years 25 days ago
2003
Springer
JLP
2010
13 years 2 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
PLDI
1997
ACM
13 years 11 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...