De l'expressivité à l'efficacité - Une approche modulaire des ...

pages

Français

Documents

Écrit par
Jean Privat` `%%%`#_`__~~~False

Publié par
apicalon

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

pages

Français

Ebook

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

apicalon

Nombre de lectures

Langue

Français

De l'expressivité à l'efficacité - Une approche modulaire des ...

Voir

Publié par

apicalon

Nombre de lectures

Langue

Français

Arts

ILMRav(tPnirJaesivipresl’exM)Dee´ticacﬃe’la`e´t16#00t2leilju21

Universite´MontpellierII—CNRS LIRMM

JeanPrivat

Soutenancedethe`se Le 21 juillet 2006

privat@lirmm.fr

Del’expressivite´a`l’eﬃcacit´e Uneapprochemodulairedeslangagesa`objets Le langage PRM et le compilateur prmc

PranativIR(L)DMMe’leerpxvisse´tieJ

Introduction

Spe´ciﬁcationetme´ta-mode´lisation:lelangagePRM Pre´sentationdePRM Langagesa`objets:classesetproprie´t´es Langages modulaires : modules et classes

Compilation eﬃcace : le compilateur prmc Cas des objets Sch´emasdecompilation Optimisationsglobalesencompilationse´pare´e Benchmarks

2ej1ic´tﬃeaca`’l

Plan

Conclusion et perspectives

06#2et20uill

vitanarPMMD)L(RIJe

interface

uillet2006#3

Contexte

/Introduction

L’homme et la machine Langage de programmation

’la`acﬃe´ticj12e’eelrexpivss´eit

eJivatanPrMM)D(LIRerpxe’lee´tivisscaeﬃl’`a1je2t´ci

Cˆote´machine:compilationeﬃcace Optimisationsglobalesencompilatio´pare´e n se

Cˆot´ehumain:sp´eciﬁcationetmod´elisation Analyseenprofondeuretformalisationdel’he´ritage (surtout multiple) Modules et raﬃnement de classes

#406

/Introduction

Familledelangagesconsid´ere´e Langagesa`objetsstatiquementtype´setenh´eritagemultiple

Travailthe´orique

llui20et

00#65

Travail pratique

Le projet PRM Unlangage: PRM Un langage complet Utilise´enenseignementa`l’IUTdeB´eziers Unebiblioth`equestandard ´ Ecrite en PRM (avec quelquesbindingsC) ≈6 000 lignes de code pour 120 classes et 20 modules Uncompilateur:prmc Unprototypee´critenRuby ≈code pour 150 classes et 16 ﬁchiers12 000 lignes de ⇒http://www.lirmm.fr/∼privat/prm

/Introduction

´tivissecﬃe’la`e21´eitact2leiljuJiravaePnRMM)t(LIexprDel’

’expressIRMM)DelrPvitaL(eJnaetll0620e2t´ui1jﬃe’licactivia`e´

Introduction

Sp´eciﬁcationetme´ta-mod´elisation:lelangagePRM Pr´esentationdePRM Langages`aobjets:classesetproprie´t´es Langages modulaires : modules et classes

/ceﬁiS´pticaon/MnoitRPedesr´taenP

Compilation eﬃcace : le compilateur prmc Cas des objets Sch´emasdecompilation Optimisationsglobalesencompilations´epare´e Benchmarks

Conclusion et perspectives

Plan

Pourquoi un nouveau langage ? Besoin dee´itnorccesrice´tacﬁliavpsednteiaorl Besoin d un langageexpressifmaissimpleetr´egulirepour ’ expe´rimenterles techniques de compilation Aucun langage existant satisfaisant : He´ritagemultiplemalsp´eciﬁe´ ´ Pas assez regulier / simple Compilateurs existants diﬃcilement modiﬁables