17 search results - page 4 / 4 » Semantics of Separation-Logic Typing and Higher-Order Frame ... |
110
click to vote
CSFW
2011
IEEE
13 years 11 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 ...
120
Voted
ECOOP
2008
Springer
15 years 15 days 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...