2203 search results - page 200 / 441 » Temporal Abstract Interpretation |
135
Voted
ML
2008
ACM
15 years 4 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...
133
Voted
CC
2002
Springer
15 years 4 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;...
120
click to vote
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...
157
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...
203
click to vote
CALCO
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...