535 search results - page 2 / 107 » Termination of Abstract Reduction Systems |
ICC
2007
IEEE
14 years 2 months 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 3 months ago
2009
Springer
DATE
2004
IEEE
14 years 8 days ago
2004
IEEE
CADE
2001
Springer
14 years 8 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
14 years 1 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...