17 search results - page 4 / 4 » Semantics of Separation-Logic Typing and Higher-Order Frame ... |
CSFW
2011
IEEE
12 years 5 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
ECOOP
2008
Springer
13 years 6 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...