1768 search results - page 152 / 354 » A Logic for Algebraic Effects |
204
Voted
EDBT
2012
ACM
13 years 9 months ago
2012
ACM
We present an effective optimization framework for general SQLlike map-reduce queries, which is based on a novel query algebra and uses a small number of higher-order physical ope...
167
Voted
PATMOS
2007
Springer
16 years 1 months ago
2007
Springer
The deep submicron semiconductor technologies will make the worst-case design impossible, since they can not provide design margins that it requires. Research directions should go ...
179
Voted
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
160
Voted
ICCD
1994
IEEE
15 years 11 months ago
1994
IEEE
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
197
Voted
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...