3342 search results - page 253 / 669 » Automating Abstract Interpretation |
113
Voted
JOLLI
2006
15 years 3 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
131
Voted
ML
2008
ACM
15 years 3 months ago
2008
ACM
Abstract. We consider a large volume principle for transductive learning that prioritizes the transductive equivalence classes according to the volume they occupy in hypothesis spa...
126
Voted
CC
2002
Springer
15 years 3 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
115
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Interface adaptation allows code written for one interface to be used with a software component with another interface. When multiple adapters are chained together to make certain...
151
Voted
FUIN
2010
15 years 2 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...