16725 search results - page 2803 / 3345 » Engineering Software Correctness |
192
click to vote
FSTTCS
2004
Springer
16 years 10 days ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
198
click to vote
FSTTCS
2004
Springer
16 years 10 days ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
155
click to vote
FSTTCS
2004
Springer
16 years 10 days ago
2004
Springer
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
185
click to vote
FSTTCS
2004
Springer
16 years 10 days ago
2004
Springer
We consider the problem of determining whether a given set S in Rn is approximately convex, i.e., if there is a convex set K ∈ Rn such that the volume of their symmetric differe...
162
click to vote
FSTTCS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...