2722 search results - page 281 / 545 » Automating Language Evolution |
131
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We charac...
148
click to vote
PLILP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
115
click to vote
LICS
1997
IEEE
15 years 8 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
141
click to vote
LICS
1997
IEEE
15 years 8 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
191
click to vote
ALP
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...