479 search results - page 42 / 96 » On Static Properties of Specialized Programs |
ICFP
2000
ACM
15 years 5 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
100
click to vote
CSMR
2004
IEEE
15 years 4 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
109
Voted
CAV
2001
Springer
15 years 5 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
120
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
119
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...