Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Application to stack allocation and

De
33 pages
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


Voir plus Voir moins
AbstractinterpretationApplicationtostackallocationandsynchronizationeliminationinBrunoBlanchetINRIARocquencourtBruno.Blanchet@inria.frFebruary28th,2001JavaTM
ProjetMOSCOVAMObilite´,Se´curite´,COncurrence,Ve´rificationetAnalyseJoin-calculus:anewmodelofdistributedprogrammingSecurityValidationanddebuggingofconcurrentsoftware(Camlgarbagecollection,Ariane5)B.Blanchet1
.BBlanchetAbstracttraPIinterpretation2
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin