Higher-order strictness analysis over non-flat domains

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
Type de document :
Rapport
RR-1190, INRIA. 1990
Liste complète des métadonnées

https://hal.inria.fr/inria-00075369
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:04:51
Dernière modification le : vendredi 16 septembre 2016 - 15:11:35
Document(s) archivé(s) le : mardi 12 avril 2011 - 18:43:57

Fichiers

Identifiants

  • HAL Id : inria-00075369, version 1

Collections

Citation

C. Ernoult. Higher-order strictness analysis over non-flat domains. RR-1190, INRIA. 1990. 〈inria-00075369〉

Partager

Métriques

Consultations de la notice

146

Téléchargements de fichiers

45