1689 search results - page 136 / 338 » Refining abstract interpretations |
125
click to vote
SAS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
136
click to vote
CASSIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
136
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
111
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
170
click to vote
TVLSI
2008
15 years 4 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...