Sciweavers

Share
362 search results - page 1 / 73
» Recursive Path Orderings Can Also Be Incremental
Sort
View
LPAR
2005
Springer
10 years 5 months ago
Recursive Path Orderings Can Also Be Incremental
In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingre...
Mirtha-Lina Fernández, Guillem Godoy, Alber...
DBPL
1997
Springer
87views Database» more  DBPL 1997»
10 years 4 months ago
Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions
We examine the power of incremental evaluation systems that use an SQL-like language for maintaining recursively-de ned views. We show that recursive queries such as transitive clo...
Leonid Libkin, Limsoon Wong
CADE
2006
Springer
11 years 3 days ago
Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...
Adam Koprowski, Hans Zantema
JACM
2007
84views more  JACM 2007»
9 years 11 months ago
Polymorphic higher-order recursive path orderings
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by deļ¬ning a family of recursive path orderings for terms of a typed ...
Jean-Pierre Jouannaud, Albert Rubio
ICDM
2006
IEEE
158views Data Mining» more  ICDM 2006»
10 years 5 months ago
Detection of Interdomain Routing Anomalies Based on Higher-Order Path Analysis
Internet routing dynamics have been extensively studied in the past few years. However, dynamics such as interdomain Border Gateway Protocol (BGP) behavior are still poorly unders...
Murat Can Ganiz, Sudhan Kanitkar, Mooi Choo Chuah,...
books