ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 32 Issue 6, August 2010

La prossima vita at TOPLAS
Kathryn S. Mckinley, Keshav Pingali
Article No.: 20
DOI: 10.1145/1749608.1749609

Typing linear constraints
Salvatore Ruggieri, Fred Mesnard
Article No.: 21
DOI: 10.1145/1749608.1749610

We present a type system for linear constraints over the reals intended for reasoning about the input-output directionality of variables. Types model the properties of definiteness, range width or approximation, lower and upper bounds of variables...

Semantics of fractional permissions with nesting
John Tang Boyland
Article No.: 22
DOI: 10.1145/1749608.1749611

Permissions specify mutable state that can be accessed by a program. Fractions distinguish write access (1) from read access (any smaller fraction). Nesting can model object invariants and ownership. Fractional permissions provides a foundation...

WYSINWYX: What you see is not what you eXecute
Gogul Balakrishnan, Thomas Reps
Article No.: 23
DOI: 10.1145/1749608.1749612

Over the last seven years, we have developed static-analysis methods to recover a good approximation to the variables and dynamically allocated memory objects of a stripped executable, and to track the flow of values through them. The article...

Finite differencing of logical formulas for static analysis
Thomas Reps, Mooly Sagiv, Alexey Loginov
Article No.: 24
DOI: 10.1145/1749608.1749613

This article concerns mechanisms for maintaining the value of an instrumentation relation (also known as a derived relation or view), defined via a logical formula over core relations, in response to changes in the values of the core...