Representation independence, confinement and access control [extended abstract]-Reference-Cited by-同舟云学术

Representation independence, confinement and access control [extended abstract]

Published:2002-01 Issue:1 Volume:37 Page:166-177
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Banerjee Anindya¹,Naumann David A.²

Affiliation:

1. Kansas State University, Manhattan KS

2. Stevens Institute of Technology, Hoboken NJ

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/565816.503289

Reference36 articles.

1. A core calculus of dependency

2. A. Banerjee and D. A. Naumann. A static analysis for instance-based confinement in Java. In preparation.]] A. Banerjee and D. A. Naumann. A static analysis for instance-based confinement in Java. In preparation.]]

3. Alias burying: Unique variables without destructive reads

4. A. Cavalcanti and D. A. Naumann. Forward simulation for data refinement of classes. Submitted 2001.]] A. Cavalcanti and D. A. Naumann. Forward simulation for data refinement of classes. Submitted 2001.]]

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A flexible type system for fearless concurrency;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

2. Introduction;Prototyping of Concurrent Control Systems Implemented in FPGA Devices;2016-10-01

3. A Simple Semantics and Static Analysis for Stack Inspection;Electronic Proceedings in Theoretical Computer Science;2013-09-19

4. Ownership Types: A Survey;Lecture Notes in Computer Science;2013

5. Abstraction for concurrent objects;Theoretical Computer Science;2010-12