Participants : Guillaume Bonfante [ correspondant ] , Jean-Yves Marion, Romain Péchoux.
The CROCUS software aims at synthesizing quasi-interpretations. It takes programs as input and returns the corresponding quasi-interpretation. Doing this, it can guarantee some bounds on the memory used along computations by the input program. The currently analyzed programs are written in a subset of the CAML language, more precisely a first-order functional language subset of CAML. The synthesis procedure has been reconsidered, it is more robust and efficient.