1189 search results - page 101 / 238 » The Quotient of an Abstract Interpretation |
104
Voted
ML
2008
ACM
15 years 20 days 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...
101
Voted
CC
2002
Springer
15 years 16 days 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;...
CORR
2010
Springer
14 years 11 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...
123
Voted
FUIN
2010
14 years 11 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...
128
click to vote
IFM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...