98 search results - page 13 / 20 » An Effect System for Algebraic Effects and Handlers |
AMAST
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
CC
2010
Springer
14 years 8 months ago
2010
Springer
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...
158
click to vote
ICDE
1997
IEEE
16 years 12 days ago
1997
IEEE
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
76
Voted
VLDB
1997
ACM
15 years 3 months ago
1997
ACM
The result size of a query that involves multiple attributes from the same relation depends on these attributes’ joint data distribution,i.e., the frequencies of all combination...
ICFEM
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...