ES_PASS Workshop: Industrialization of Abstract Interpretation 2009
Oct. 28, 2009, Madrid, Spain
Unrestricted Pointers Considered Harmful
Many programming languages, but especially object-oriented ones,
allow pointers to be simply copied and incorporated into structures
as if they were integers.
We briefly look at the problems this can cause from the viewpoints
of
(i) multi-core (partitioned global address space) processors in terms
of cache costs and memory sequential consistentcy
(ii) program comprehension and verification.
We follow this by exploring type-like qualifiers which address
some of these problems, particularly at interfaces, to ensure
process memory isolation.
Kilim [ECOOP'2008, with Sriram Srinivasan] is a concrete implementation.
Back to Program.