Mechanically proving termination using polynomial interpretations

Evelyne Contejean 1, 2 Claude Marché 1, 2 Ana-Paula Tomas 3 Xavier Urbain 1, 2
2 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00001167
Contributor : Evelyne Contejean <>
Submitted on : Friday, March 24, 2006 - 10:08:21 AM
Last modification on : Monday, June 10, 2019 - 6:02:40 PM

Identifiers

  • HAL Id : inria-00001167, version 1

Collections

Citation

Evelyne Contejean, Claude Marché, Ana-Paula Tomas, Xavier Urbain. Mechanically proving termination using polynomial interpretations. [Intern report] 1382, 2006. ⟨inria-00001167⟩

Share

Metrics

Record views

217