23201 search results - page 77 / 4641 » Rewriting Systems with Data |
103
click to vote
RTA
2009
Springer
15 years 7 months ago
2009
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, τ, σ) such that L and R are termgraphs represen...
ENTCS
1998
15 years 25 days ago
1998
Designing a programming environment raises difficult implementation problems since such software is not just one piece of code able to execute programs expressed in a given progra...
101
click to vote
RULEML
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom bridges thus the gap between a ...
110
click to vote
VLDB
1995
ACM
15 years 4 months ago
1995
ACM
In this paper we introduce generalized projections (GPs), an extension of duplicateeliminating projections, that capture aggregations, groupbys, duplicate-eliminating projections ...
111
click to vote
ISCA
2007
IEEE
15 years 7 months ago
2007
IEEE
The negative performance impact of branch mis-predictions can be reduced by exploiting control independence (CI). When a branch mis-predicts, the wrong-path instructions up to the...