Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Improving Context-Sensitive Dependency Pairs Beatriz Alarcon1
 

Summary: Improving Context-Sensitive Dependency Pairs
Beatriz Alarc´on1
, Fabian Emmes2
, Carsten Fuhs2
, J¨urgen Giesl2
, Ra´ul
Guti´errez1
, Salvador Lucas1
, Peter Schneider-Kamp2
, and Ren´e Thiemann3
1
DSIC, Universidad Polit´ecnica de Valencia, Spain
2
LuFG Informatik 2, RWTH Aachen University, Germany
3
Institute of Computer Science, University of Innsbruck, Austria
Abstract. Context-sensitive dependency pairs (CS-DPs) are currently
the most powerful method for automated termination analysis of context-
sensitive rewriting. However, compared to DPs for ordinary rewriting,
CS-DPs suffer from two main drawbacks: (a) CS-DPs can be collapsing.

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences