BACK TO INDEX

Publications of year 1997

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. [WWW] Keyword(s): analyse dynamique, analyse statique, sémantique naturelle, transformation de programmes, interprétation abstraite, analyse de durée de vie, analyse de nécessité, élagage de programmes. [Abstract] [bibtex-entry]


Articles in journal or book chapters

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



BACK TO INDEX

This document was translated from BibTEX by bibtex2html