1445 search results - page 234 / 289 » Abstract Interpretation of Logic Programs |
111
click to vote
LPAR
2000
Springer
15 years 6 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
121
click to vote
SEFM
2008
IEEE
15 years 9 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
121
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
108
click to vote
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
121
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...