Loading...
Please wait, while we are loading the content...
Similar Documents
Representation Independence, Confinement and Access Control (Extended Abstract) (2002)
| Content Provider | CiteSeerX |
|---|---|
| Author | Banerjee, Anindya Naumann, David A. |
| Description | 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 con nement similar to ones for which static disciplines have been recently proposed. In ACM Symposium on Principles of Programming Languages (POPL |
| File Format | |
| Language | English |
| Publisher | ACM Press |
| Publisher Date | 2002-01-01 |
| Access Restriction | Open |
| Subject Keyword | Static Discipline Visibility Control Privilegebased Access Control Dynamic Dispatch Java-like Language Extended Abstract Relational Parametricity Representation Independence Semantic Notion Recursive Type Con Nement Access Control Denotational Semantics |
| Content Type | Text |
| Resource Type | Article |