Théorie et pratique de SQIL un langage intermédaire pour la compilation des langes fonctionnels / Nitsan Seniak ; sous la direction de Christian Queinnec
Type de document : ThèseLangue : français.Pays : France.Éditeur : [S.l.] : [s.n.], 1991Description : 1 vol. (152 p.) ; 30 cmISBN : 2726107109.Bibliographie : Bibliogr. p. 145-152.Sujet MSC : 68N20, Computer science - Theory of software, Theory of compilers and interpreters68N15, Computer science - Theory of software, Theory of programming languages
65Kxx, Numerical analysis - Numerical methods for mathematical programming, optimization and variational techniques
97-02, Research exposition (monographs, survey articles) pertaining to mathematics educationNote de thèse: Thèse de doctorat, informatique, 1991, université Paris VI
| Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| CMI Salle S | Thèses SEN (Browse shelf) | Available | 10604-01 |
Bibliogr. p. 145-152
Thèse de doctorat informatique 1991 université Paris VI
Cette thèse est consacrée à la compilation efficace du flot de contrôle dans les langages fonctionnels. Nous proposons un nouveau langage intermédiaire, nommé Sqil, qui a été conçu par une méthode rationnelle basée sur l'expression de propriétés implémentatoires en sémantique dénotationnelle, Sqil induit une méthodologie de compilation originale, dite par spécialisation explicite. Nous décrivons deux implémentations performantes de Sqil
There are no comments for this item.