نشرت في: May 2010
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...
نشرت في: August 2010
We present a type system for linear constraints over the reals intended for reasoning about the input-output directionality of variables. Types model...
Permissions specify mutable state that can be accessed by a program. Fractions distinguish write access (1) from read access (any smaller fraction)....
