Representation independence, confinement and access control

Anindya Banerjee, David A. Naumann

Research output: Contribution to journalConference articlepeer-review

70 Scopus citations

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 languageEnglish
Pages (from-to)166-177
Number of pages12
JournalConference Record of the Annual ACM Symposium on Principles of Programming Languages
StatePublished - 2002
EventPOPL 2002: 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Portland, OR, United States
Duration: 16 Jan 200218 Jan 2002

Fingerprint

Dive into the research topics of 'Representation independence, confinement and access control'. Together they form a unique fingerprint.

Cite this