enter search term and/or author name
A hybrid type system for lock-freedom of mobile processes
Naoki Kobayashi, Davide Sangiorgi
Article No.: 16
We propose a type system for lock-freedom in the π-calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it can verify lock-freedom of concurrent programs that have...
Execution suppression: An automated iterative technique for locating memory errors
Dennis Jeffrey, Vijay Nagarajan, Rajiv Gupta
Article No.: 17
By studying the behavior of several programs that crash due to memory errors, we observed that locating the errors can be challenging because significant propagation of corrupt memory values can occur prior to the point of the crash. In this...
Verifying safety properties of concurrent heap-manipulating programs
Eran Yahav, Mooly Sagiv
Article No.: 18
We provide a parametric framework for verifying safety properties of concurrent heap-manipulating programs. The framework combines thread-scheduling information with information about the shape of the heap. This leads to verification algorithms...
The goal of feature-oriented programming (FOP) is to modularize software systems in terms of features. A feature refines the content of a base program. Both base programs and features may contain various kinds of software artifacts,...