142 search results - page 16 / 29 » Proving Termination by Invariance Relations |
133
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
100
click to vote
TIT
2002
15 years 1 months ago
2002
An overview of statistical and information-theoretic aspects of hidden Markov processes (HMPs) is presented. An HMP is a discrete-time finite-state homogeneous Markov chain observe...
130
Voted
IJCAI
2003
15 years 3 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
110
click to vote
ICALP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
159
click to vote
LICS
2000
IEEE
15 years 6 months ago
2000
IEEE
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...