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

Jean Privat` `%%%`#_`__~~~False

Description

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

Sujets

• Arts

Informations

• Publié par: apicalon
• Nombre de lectures: 43
• Langue: Français

Extrait

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

Universite´MontpellierII—CNRS LIRMM

JeanPrivat

Soutenancedethe`se Le 21 juillet 2006

[e-mail]

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

PranativIR(L)DMMe’leerpxvisse´tieJ

1

2

3

Introduction

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

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

2ej1ic´tffieaca`’l

Plan

4

Conclusion et perspectives

06#2et20uill

vitanarPMMD)L(RIJe

interface

=

uillet2006#3

Contexte

/Introduction

L’homme et la machine Langage de programmation

’la`acffie´ticj12e’eelrexpivss´eit

eJivatanPrMM)D(LIRerpxe’lee´tivisscaeffil’`a1je2t´ci

Cˆote´machine:compilationefficace Optimisationsglobalesencompilatio´pare´e n se

Cˆot´ehumain:sp´ecificationetmod´elisation Analyseenprofondeuretformalisationdel’he´ritage (surtout multiple) Modules et raffinement 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 fichiers12 000 lignes de ⇒http://www.lirmm.fr/ ∼ privat/prm

/Introduction

´tivissecffie’la`e21´eitact2leiljuJiravaePnRMM)t(LIexprDel’

’expressIRMM)DelrPvitaL(eJnaetll0620e2t´ui1jffie’licactivia`e´

1

Introduction

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

2

3

4

/cefiiS´pticaon/MnoitRPedesr´taenP

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

Conclusion et perspectives

6#

Plan

Pourquoi un nouveau langage ? Besoin dee´itnorccesrice´tacfiliavpsednteiaorl Besoin d un langageexpressifmaissimpleetr´egulirepour ’ expe´rimenterles techniques de compilation Aucun langage existant satisfaisant : He´ritagemultiplemalsp´ecifie´ ´ Pas assez regulier / simple Compilateurs existants difficilement modifiables

/Spe´iccfitaoin/ioatntseRMePndrPe´

Pre´sentationdePRM

7#6002telli21juit´efficacal’e´t`eisivrpse’lxeirPn(tavMRILeD)MeaJ