4716 search results - page 24 / 944 » Iterative-free program analysis |
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
86
Voted
CC
2003
Springer
15 years 7 months ago
2003
Springer
JLP
2010
14 years 8 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...
180
click to vote
PLDI
1997
ACM
15 years 6 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...
106
Voted
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...