publié le: 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)....
Over the last seven years, we have developed static-analysis methods to recover a good approximation to the variables and dynamically allocated memor...
This article concerns mechanisms for maintaining the value of an instrumentation relation (also known as a derived relation or view), defined via a l...
publié le: January 2011
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantic...
