@TechReport{      ernoult:inria-00075369,
  Author        = "Ernoult, C.",
  Abstract      = {{Strictness analysis has been investigated in order to cover in one hand higher-order strictness analysis, on the other hand strictness analysis on non-flat domains. This paper presents a general method extending higher-order strictness analysis in order to subsume non-flat domains. The method uses the notion of strictness pairs and the notion of projection from domain theory. It allows to deal with the "n-th" strictness of a component of any kind of data structures}},
  affiliation   = "INRIA Rocquencourt - INRIA Rocquencourt",
  date-added    = "2014-03-20 09:25:38 +0000",
  date-modified = "2014-03-20 09:25:38 +0000",
  hal_id        = "inria-00075369",
  Institution   = "INRIA",
  Language      = "Anglais",
  Month         = "March",
  Note          = "Projet FORMEL",
  Number        = "RR-1190",
  PDF           = "http://hal.inria.fr/inria-00075369/PDF/RR-1190.pdf",
  Title         = "{Higher-order strictness analysis over non-flat domains}",
  URL           = "http://hal.inria.fr/inria-00075369",
  Year          = "1990",
  bdsk-url-1    = "http://hal.inria.fr/inria-00075369",
  File          = "Higher-order strictness analysis over non-flat domains - Ernoult (0) (0) - a - a - p.pdf"
}

@TechReport{ ernoult:inria-00075369, Author = "Ernoult, C.", Abstract = {{Strictness analysis has been investigated in order to cover in one hand higher-order strictness analysis, on the other hand strictness analysis on non-flat domains. This paper presents a general method extending higher-order strictness analysis in order to subsume non-flat domains. The method uses the notion of strictness pairs and the notion of projection from domain theory. It allows to deal with the "n-th" strictness of a component of any kind of data structures}}, affiliation = "INRIA Rocquencourt - INRIA Rocquencourt", date-added = "2014-03-20 09:25:38 +0000", date-modified = "2014-03-20 09:25:38 +0000", hal_id = "inria-00075369", Institution = "INRIA", Language = "Anglais", Month = "March", Note = "Projet FORMEL", Number = "RR-1190", PDF = "http://hal.inria.fr/inria-00075369/PDF/RR-1190.pdf", Title = "{Higher-order strictness analysis over non-flat domains}", URL = "http://hal.inria.fr/inria-00075369", Year = "1990", bdsk-url-1 = "http://hal.inria.fr/inria-00075369", File = "Higher-order strictness analysis over non-flat domains - Ernoult (0) (0) - a - a - p.pdf" }