18 search results - page 1 / 4 » Programmer specified pointer independence |
72
Voted
ACMMSP
2004
ACM
15 years 4 months ago
2004
ACM
192
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
103
Voted
CC
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
109
Voted
CORR
2002
Springer
15 years 17 days ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
125
click to vote
CSFW
2011
IEEE
14 years 17 days 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 ...