1768 search results - page 138 / 354 » A Logic for Algebraic Effects |
178
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
207
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
192
click to vote
ML
2008
ACM
15 years 7 months ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
208
click to vote
SSDBM
1998
IEEE
15 years 11 months ago
1998
IEEE
We address the issue of designing effective query languages for OLAP databases. The basis of our investigation is MD, a new data model for multidimensional databases that, unlike ...
217
click to vote
FOSSACS
2005
Springer
16 years 16 days ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...