inria-00168304, version 1

HORPO with Computability Closure : A Reconstruction

Frédéric Blanqui () ^a, 1, Jean-Pierre Jouannaud () ^b, 2, Albert Rubio () ^c, 3

14th International Conference on Logic for Programming Artificial Intelligence and Reasoning 4790 (2007)

• a –  INRIA
• b –  Polytechnique - X
• c –  Universitat Politècnica de Catalunya
• 1 :  PROTHEO (INRIA Lorraine - LORIA)
• 
  INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) France
• 2 :  Laboratoire d'informatique de l'école polytechnique (LIX)
• http://www.lix.polytechnique.fr/
  CNRS : UMR7161 – Polytechnique - X Route de Saclay 91128 PALAISEAU CEDEX France
• 3 :  Llenguatges i Sistemes Informàtics (LSI)
• http://www.lsi.upc.edu/
  Universitat Politécnica de Catalunya Universitat Politécnica de Catalunya FIB / FME C/ Pau Gargallo 5, E-Barcelona 08028 Espagne

Références bibliographiques

• Type de publication : Communications avec actes
• Domaine : Informatique/Logique en informatique
• Titre : HORPO with Computability Closure : A Reconstruction
• Résumé : This paper provides a new, decidable definition of the higher- order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for the computability clo- sure, and bound variables are handled explicitly, making it possible to handle recursors for arbitrary strictly positive inductive types.
• Langue du document : Anglais
• Audience : internationale
• Titre conférence : 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning
• Ville : Yerevan
• Pays : Arménie
• Date conférence : 15/10/2007
• Volume : 4790
• Collection : LNCS
• Mots-clés : lambda-calculus – termination – rewriting

Liste des fichiers attachés à ce document :

TEX

biblio.tex(1020 B)

conclusion.tex(730 B)

introduction.tex(3.1 KB)

macros.tex(22.5 KB)

main.tex(5.5 KB)

normalization.tex(22.1 KB)

ordering.tex(10.7 KB)

preliminaries.tex(6.2 KB)

llncs.cls(41.3 KB)

PS

main.ps(146.8 KB)

PDF

main.pdf(196.7 KB)

• inria-00168304, version 1
• http://hal.inria.fr/inria-00168304
• oai:hal.inria.fr:inria-00168304
• Contributeur : Frédéric Blanqui <>
• Soumis le : Lundi 27 Août 2007, 12:21:26
• Dernière modification le : Mercredi 29 Août 2007, 09:38:25