publié le: November 2011
In this article, we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bo...
publié le: 2003
Favoriser l’accès de tous au livre et à la lecture est un enjeu de société majeur ; il s’agit d’une des clés de l’intégration comme de la bonne sant...
publié le: December 2011
Floyd–Hoare logic is a foundation of axiomatic semantics of classical programs, and it provides effective proof techniques for reasoning about correc...
Bases de données, périodiques électroniques, corpus en ligne, campus numériques, signets, etc. : l’accès aux ressources numériques s’est considérable...
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This article presents an ownershi...
