Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Maximal Termination Carsten Fuhs1
 

Summary: Maximal Termination
Carsten Fuhs1
, J¨urgen Giesl1
, Aart Middeldorp2
, Peter Schneider-Kamp1
,
Ren´e Thiemann2
, and Harald Zankl2
1
LuFG Informatik 2, RWTH Aachen University, Germany
2
Institute of Computer Science, University of Innsbruck, Austria
Abstract. We present a new approach for termination proofs that uses
polynomial interpretations (with possibly negative coefficients) together
with the "maximum" function. To obtain a powerful automatic method,
we solve two main challenges: (1) We show how to adapt the latest de-
velopments in the dependency pair framework to our setting. (2) We
show how to automate the search for such interpretations by integrating
"max" into recent SAT-based methods for polynomial interpretations.
Experimental results support our approach.

  

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

 

Collections: Computer Technologies and Information Sciences