Cet ouvrage et des milliers d'autres font partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour les lire en ligne
En savoir plus

Partagez cette publication

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