Mechanically proving termination using polynomial interpretations

Evelyne Contejean 1, 2 Claude Marché 1, 2 Ana-Paula Tomas 3 Xavier Urbain 1, 2
1 LRI - Laboratoire de Recherche en Informatique
2 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
3 LIACC - Laboratório de Inteligência Artificial e Ciência de Computadores
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 : Friday, October 12, 2018 - 3:04:04 PM

Identifiers

  • HAL Id : inria-00001167, version 1

Collections

INRIA | UMR8623 | LRI-VALS | LARA | TDS-MACS

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

201

Contact


archive-ouverte@inria.fr