535 search results - page 2 / 107 » Termination of Abstract Reduction Systems |
ICC
2007
IEEE
14 years 17 days ago
2007
IEEE
Abstract— Digital Audio Broadcast (DAB) systems are considered for delivery of audio information to users in heavily attended sporting, cultural, and amusement events [1]. A uniq...
WFLP
2009
Springer
14 years 25 days ago
2009
Springer
DATE
2004
IEEE
13 years 10 months ago
2004
IEEE
CADE
2001
Springer
14 years 6 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
RTA
2004
Springer
13 years 11 months ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...