Abstract
Denotational semantics is given for a Java-like language with pointers, subclassing and dynamic dispatch, class oriented visibility control, recursive types and methods, and privilege-based access control. Representation independence (relational parametricity) is proved, using a semantic notion of confinement similar to ones for which static disciplines have been recently proposed.
Original language | English |
---|---|
Pages (from-to) | 166-177 |
Number of pages | 12 |
Journal | Conference Record of the Annual ACM Symposium on Principles of Programming Languages |
State | Published - 2002 |
Event | POPL 2002: 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Portland, OR, United States Duration: 16 Jan 2002 → 18 Jan 2002 |