System presentation: An analyser of rewriting system complexity - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

System presentation: An analyser of rewriting system complexity

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
Fichier non déposé

Dates et versions

inria-00100525 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100525 , version 1

Citer

Jean-Yves Moyen. System presentation: An analyser of rewriting system complexity. Second International Workshop on Rule-Based Programming - RULE'01, Université de Florence, 2001, Firenze, Italy, 7 p. ⟨inria-00100525⟩
102 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More