4722 search results - page 43 / 945 » Representation-independent program analysis |
88
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
104
Voted
CC
2003
Springer
15 years 9 months ago
2003
Springer
102
Voted
JLP
2010
14 years 10 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...
198
Voted
PLDI
1997
ACM
15 years 8 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...
122
click to vote
ESOP
2010
Springer
16 years 1 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. ...