System presentation: An analyser of rewriting system complexity

Jean-Yves Moyen 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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
Type de document :
Communication dans un congrès
Mark van der Brand. Second International Workshop on Rule-Based Programming - RULE'01, 2001, Firenze, Italy, Elsevier, 59/4 (4), 7 p, 2001, Electronic Notes in Theoretical Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00100525
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:46:28
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00100525, version 1

Collections

Citation

Jean-Yves Moyen. System presentation: An analyser of rewriting system complexity. Mark van der Brand. Second International Workshop on Rule-Based Programming - RULE'01, 2001, Firenze, Italy, Elsevier, 59/4 (4), 7 p, 2001, Electronic Notes in Theoretical Computer Science. 〈inria-00100525〉

Partager

Métriques

Consultations de la notice

136