2715 search results - page 375 / 543 » An Implementation of Narrowing Strategies |
246
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
145
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...
237
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Query generators producing sequences of SQL statements are embedded in many applications. As the execution time of such sequences is often far from optimal, their optimization is ...
246
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...
241
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
We consider systems for data sharing among heterogeneous peers related by a network of schema mappings. Each peer has a locally controlled and edited database instance, but wants ...