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
Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/inria-00100525
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:46:28 PM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM

Identifiers

  • HAL Id : inria-00100525, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

143