Application to stack allocation and

Application to stack allocation and

33

pages

English

Documents

Écrit par
Bruno Blanchet

Publié par
pefav

Lire un extrait

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

Découvre YouScribe en t'inscrivant gratuitement

33

pages

English

Documents

Lire un extrait

Lire un extrait

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

Publié par

Nombre de lectures

29

Langue

English

Abstract interpretation Application to stack allocation and synchronization elimination in JavaTM Bruno Blanchet INRIA Rocquencourt February 28th, 2001

abstract interpretation

exact static

determine runtime

projet moscova

caml garbage

static analysis

analysis undecidable

Publié par

Nombre de lectures

29

Langue

English

Blanchet Abstract interpretation Static analysis

AbstractinterpretationApplicationtostackallocationandsynchronizationeliminationinBrunoBlanchetINRIARocquencourtBruno.Blanchet@inria.frFebruary28th,2001JavaTM

ProjetMOSCOVAMObilite´,Se´curite´,COncurrence,Ve´riﬁcationetAnalyse•Join-calculus:anewmodelofdistributedprogramming•Security•Validationanddebuggingofconcurrentsoftware(Camlgarbagecollection,Ariane5)B.Blanchet1

.BBlanchetAbstracttraPIinterpretation2