Publications 1997

Academic Journals

1. T. Jensen. Disjunctive Program Analysis for Algebraic Data Types. ACM Transactions on Programming Languages and Systems, 19(5):752-804, 1997. ps

Thesis

1. V. Gouranton. Dérivation d'analyseurs dynamiques et statiques à partir de spécifications opérationnelles. PhD Thesis Université de Rennes I, Ifsic, Irisa, 1997. ps