Application to stack allocation and

Bruno Blanchet

Description

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

Sujets

• Blanchet
• Abstract interpretation
• Static analysis

Informations

• Publié par: pefav
• Nombre de lectures: 29
• Langue: English

Extrait

Abstractinterpretation Applicationtostackallocationand synchronizationeliminationin BrunoBlanchet INRIARocquencourt [e-mail] February28th,2001 Java TM

ProjetMOSCOVA MObilite´,Se´curite´,COncurrence,Ve´rificationetAnalyse • Join-calculus:anewmodelofdistributedprogramming • Security • Validationanddebuggingofconcurrentsoftware(Camlgarbage collection,Ariane5) B.Blanchet1

.BBlanchet Abstract traPI interpretation 2