Sciweavers

279 search results - page 20 / 56
» Tree Pattern Rewriting Systems
Sort
View
KBSE
2000
IEEE
14 years 2 days ago
Simultaneous Checking of Completeness and Ground Confluence
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
Adel Bouhoula
ICDT
2011
ACM
270views Database» more  ICDT 2011»
12 years 12 months ago
On the equivalence of distributed systems with queries and communication
Distributed data management systems consist of peers that store, exchange and process data in order to collaboratively achieve a common goal, such as evaluate some query. We study...
Serge Abiteboul, Balder ten Cate, Yannis Katsis
FOSSACS
2001
Springer
14 years 1 months ago
On the Modularity of Deciding Call-by-Need
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
Irène Durand, Aart Middeldorp
XSYM
2004
Springer
88views Database» more  XSYM 2004»
14 years 1 months ago
Teaching Relational Optimizers About XML Processing
Due to their numerous benefits, relational systems play a major role in storing XML documents. XML also benefits relational systems by providing a means to publish legacy relatio...
Sihem Amer-Yahia, Yannis Kotidis, Divesh Srivastav...
ACL
1998
13 years 10 months ago
A Pattern-Based Machine Translation System Extended by Example-Based Processing
In this paper, we describe a machine translation system called PalmTree which uses the "patternbased" approach as a fundamental framework. The pure pattern-based transla...
Hideo Watanabe, Koichi Takeda