Sciweavers

CAISE
2003
Springer

Improving Termination Analysis of Active Rules with Priorities

14 years 4 months ago
Improving Termination Analysis of Active Rules with Priorities
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have suggested proving termination by using the concept of triggering graph. We propose here a refinement of these works, exploiting the priorities defined between rules.
Alain Couchot
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CAISE
Authors Alain Couchot
Comments (0)