mirage

Browsing by Author "Prost, Frederic"

DSpace/Manakin Repository

Browsing by Author "Prost, Frederic"

Sort by: Order: Results:

  • Detecting and Removing Dead Code using Rank 2 Intersection
    Laboratoire de l'informatique du parallélisme; Prost, Frederic (1997-05)
    (eng) In this paper we extend, by allowing rank 2 intersection types, the type assignment system for the detection and elimination of dead code in typed functional programs presented by Coppo et al Giannini and the first ...
  • A formalization of Static Analyses in System F.
    Laboratoire de l'informatique du parallélisme; Prost, Frederic (1999-01)
    (eng) We propose a variant of Girard's System F. The aim of this new system is to provide a common framework for various type based analyses. We modify $F$ by the introduction of two different universes from which types ...
  • Marking techniques for extraction.
    Laboratoire de l'informatique du parallélisme; Prost, Frederic (1995-12)
    (eng) Constructive logic can be used to consider program specifications as logical formulas. The advantage of this approach is to generate programs which are certified with respect to some given specifications. The programs ...
Bookmark and Share