Representation Independence, Confinement and Access Control (Extended Abstract) (2002)
by
Anindya Banerjee
,
David A. Naumann
| Venue: | In ACM Symposium on Principles of Programming Languages (POPL |
| Citations: | 85 - 28 self |
BibTeX
@INPROCEEDINGS{Banerjee02representationindependence,,
author = {Anindya Banerjee and David A. Naumann},
title = {Representation Independence, Confinement and Access Control (Extended Abstract)},
booktitle = {In ACM Symposium on Principles of Programming Languages (POPL},
year = {2002},
pages = {166--177},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 privilegebased 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.
