Système SAM : métacompilation très efficace à l'aide d'opérateurs, sémantiques / Pierre Weis ; sous la direction de Guy Cousineau
Type de document : ThèseLangue : français.Pays: France.Éditeur : [S.l.] : [s.n.], 1987Description : 1 vol. (302 p.) ; 30 cmISBN: 2726105203.Bibliographie : Bibliogr. p. 289-297.Sujet MSC : 68N20, Computer science - Theory of software, Theory of compilers and interpreters68N15, Computer science - Theory of software, Theory of programming languages
97-02, Research exposition (monographs, survey articles) pertaining to mathematics educationNote de thèse: Thèse de doctorat, informatique, 1987, université Paris VII Item type:
Thèse
| Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| CMI Salle S | Thèses WEI (Browse shelf(Opens below)) | Available | 09340-01 |
Bibliogr. p. 289-297
Thèse de doctorat informatique 1987 université Paris VII
Description d'une technique de metacompilation basee sur un langage de description de la semantique des langages de programmation de tres haut niveau: une algebre semantique d'operateurs. Cette algebre est definie pour un ensemble de domaines et de lambda-expressions qui definissent ses operateurs. Une machine abstraite est ensuite definie pour executer les operateurs de l'algebre. Finalement le code de la machine abstraite est traduit en assembleur natif de la machine hote. Des exemples en vraie grandeur de langages metacompiles dans le systeme developpe sont proposes
There are no comments on this title.