Sciweavers

Share
TOPLAS
2010
93views more  TOPLAS 2010»
8 years 6 months ago
Semantics of fractional permissions with nesting
Fractional permissions use fractions to distinguish write access (1) from read access (any smaller fraction). Nesting (an extension of adoption) can be used to model object invari...
John Tang Boyland
TOPLAS
2010
76views more  TOPLAS 2010»
8 years 6 months ago
Typing linear constraints
Salvatore Ruggieri, Fred Mesnard
TOPLAS
2010
59views more  TOPLAS 2010»
8 years 6 months ago
A calculus for uniform feature composition
Sven Apel, DeLesley Hutchins
TOPLAS
2010
73views more  TOPLAS 2010»
8 years 6 months ago
Execution suppression: An automated iterative technique for locating memory errors
Dennis Jeffrey, Vijay Nagarajan, Rajiv Gupta, Neel...
TOPLAS
2010
101views more  TOPLAS 2010»
8 years 6 months ago
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapot...
TOPLAS
2010
79views more  TOPLAS 2010»
8 years 6 months ago
Detecting bugs in register allocation
Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa
TOPLAS
2010
93views more  TOPLAS 2010»
8 years 6 months ago
Semantic foundations for typed assembly languages
Amal Ahmed, Andrew W. Appel, Christopher D. Richar...
TOPLAS
2010
115views more  TOPLAS 2010»
8 years 6 months ago
JavaCOP: Declarative pluggable types for java
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
Shane Markstrum, Daniel Marino, Matthew Esquivel, ...
books