3531 articles – 5253 Notices  [english version]

hal-00153132, version 1

An Analyser of Rewriting Systems Complexity

Jean-Yves Moyen () 1

Workshop on Implicit Computational Complexity (2001) 93-99

Résumé : This paper briefly describes ICAR, a program which analyses the implicit complexity of first order functionnal programs. ICAR is based on two previous characterisation of \ptime\ and \pspace\ by mean of term rewriting termination orderings and polynomial quasi-interpretations.

  • 1 :  CALLIGRAMME (INRIA Lorraine - LORIA)
  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
  • Domaine : Informatique/Logique en informatique
    Informatique/Complexité
  • Mots-clés : Quasi-interpretations
 
  • hal-00153132, version 1
  • http://hal.archives-ouvertes.fr/hal-00153132
  • oai:hal.archives-ouvertes.fr:hal-00153132
  • Contributeur : Jean-Yves Moyen <>
  • Soumis le : Vendredi 8 Juin 2007, 13:43:24
  • Dernière modification le : Vendredi 8 Juin 2007, 13:43:24