4211 search results - page 340 / 843 » Types as Abstract Interpretations |
189
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
169
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
155
click to vote
TRUSTBUS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Bayesian reputation systems are quite flexible and can relatively easily be adapted to different types of applications and environments. The purpose of this paper is to ...
188
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monad...
160
Voted
ICANNGA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The Levenstein or edit distance was developed as a metric for calculating distances between character strings. We are looking at weighting the different edit operations (...