publié le: 2003
Alors que le développement des réseaux numériques modifiait profondément le rapport à l’information et au texte, un nouveau dispositif, le livre él...
publié le: May 2010
We propose a type system for lock-freedom in the ?-calculus, which guarantees that certain communications will eventually succeed. Distinguishing fea...
By studying the behavior of several programs that crash due to memory errors, we observed that locating the errors can be challenging because signifi...
We provide a parametric framework for verifying safety properties of concurrent heapmanipulating programs. The framework combines thread-scheduling i...
The goal of feature-oriented programming (FOP) is to modularize software systems in terms of features. A feature refines the content of a base progra...
