1189 search results - page 101 / 238 » The Quotient of an Abstract Interpretation |
166
click to vote
ML
2008
ACM
15 years 6 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...
155
click to vote
CC
2002
Springer
15 years 6 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;...
155
click to vote
CORR
2010
Springer
15 years 4 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...
195
click to vote
FUIN
2010
15 years 4 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...
194
click to vote
IFM
2009
Springer
15 years 4 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...