Higher-order strictness analysis over non-flat domains - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1990

Higher-order strictness analysis over non-flat domains

C. Ernoult
  • Fonction : Auteur

Résumé

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

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1190.pdf (1001.33 Ko) Télécharger le fichier

Dates et versions

inria-00075369 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00075369 , version 1

Citer

C. Ernoult. Higher-order strictness analysis over non-flat domains. RR-1190, INRIA. 1990. ⟨inria-00075369⟩
65 Consultations
60 Téléchargements

Partager

Gmail Facebook X LinkedIn More