Normal view MARC view ISBD view

Système SAM : métacompilation très efficace à l'aide d'opérateurs, sémantiques / Pierre Weis ; sous la direction de Guy Cousineau

Auteur principal : Weis, Pierre, AuteurAuteur secondaire : Cousineau, Guy, 1949-, Directeur de thèseAuteur secondaire collectivité : Université Paris Diderot - Paris 7, Etablissement de soutenanceType 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 -- Software, Compilers and interpreters
68N15, Computer science -- Software, Programming languages
97A70, Mathematics education - General, mathematics and education, Theses and postdoctoral theses
Note de thèse: Thèse de doctorat, informatique, 1987, université Paris VII
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses WEI (Browse shelf) 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 for this item.

Log in to your account to post a comment.