Monotone interpretations

Guillaume Bonfante (1)

1 CARTE - Theoretical adverse computations, and safety

Nous considérons une nouvelle classe d'interprétation des systèmes de réécriture. Nous montrons qu'elle bénéficie de bonne propriété intentionnelles.

Domaines: Complexité [cs.CC]

Guillaume Bonfante. Monotone interpretations. [Research Report] 2007, pp.9. ⟨inria-00145060⟩