System presentation: An analyser of rewriting system complexity - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2001

System presentation: An analyser of rewriting system complexity

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
Not file

Dates and versions

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

Identifiers

  • HAL Id : inria-00100525 , version 1

Cite

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⟩
101 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More