Sciweavers

23201 search results - page 60 / 4641
» Rewriting Systems with Data
Sort
View
196
Voted
SYRCODIS
2008
184views Database» more  SYRCODIS 2008»
15 years 2 months ago
Towards Cost-based Query Optimization in Native XML Database Management Systems
In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...
Andreas M. Weiner, Christian Mathis, Theo Här...
ICDT
2003
ACM
139views Database» more  ICDT 2003»
15 years 6 months ago
New Rewritings and Optimizations for Regular Path Queries
All the languages for querying semistructured data and the web use as an integral part regular expressions. Based on practical observations, finding the paths that satisfy those r...
Gösta Grahne, Alex Thomo
68
Voted
ENTCS
2007
126views more  ENTCS 2007»
15 years 23 days ago
Modelling Calculi with Name Mobility using Graphs with Equivalences
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
Paolo Baldan, Fabio Gadducci, Ugo Montanari
158
Voted
POPL
1994
ACM
15 years 4 months ago
Formally Optimal Boxing
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
Fritz Henglein, Jesper Jørgensen
96
Voted
WRLA
2010
14 years 11 months ago
The Third Rewrite Engines Competition
This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on R...
Francisco Durán, Manuel Roldán, Jean...