Sciweavers

173 search results - page 10 / 35
» Processes for Adhesive Rewriting Systems
Sort
View
113
Voted
RTA
2009
Springer
15 years 8 months ago
VMTL-A Modular Termination Laboratory
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
Felix Schernhammer, Bernhard Gramlich
ICDE
2009
IEEE
157views Database» more  ICDE 2009»
14 years 11 months ago
Query Rewrites with Views for XML in DB2
There is much effort to develop comprehensive support for the storage and querying of XML data in database management systems. The major developers have extended their systems to h...
Parke Godfrey, Jarek Gryz, Andrzej Hoppe, Wenbin M...
113
Voted
CADE
2004
Springer
16 years 2 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang
EDBT
2004
ACM
132views Database» more  EDBT 2004»
16 years 2 months ago
Query-Customized Rewriting and Deployment of DB-to-XML Mappings
Given the current trend towards application interoperability and XML-based data integration, there is an increasing need for XML interfaces to relational database management system...
Oded Shmueli, George A. Mihaila, Sriram Padmanabha...
109
Voted
IWPC
2003
IEEE
15 years 7 months ago
How Understanding and Restructuring Differ from Compiling - A Rewriting Perspective
Syntactic and semantic analysis are established topics in the area of compiler construction. Their application to the understanding and restructuring of large software systems rev...
Paul Klint