Section: Software

CARIBOO

Participant : Isabelle Gnaedig [ correspondant ] .

In the context of our study of rule-based program proof and validation, we develop and distribute CARIBOO (http://cariboo.loria.fr/ ), an environment dedicated to specific termination proofs under strategies like the innermost, the outermost or local strategies.

Written in ELAN  and Java, it has a reflexive aspect, since ELAN  is itself a rule-based language. CARIBOO was partially developed in the Toundra QSL project, and reinforced in the framework of the Modulogic ACI  [74] , [75] .