Representation independence, confinement and access control [extended abstract]

被引：6

作者：

Banerjee, A ^{[1
]}

Naumann, DA

机构：

[1] Kansas State Univ, Manhattan, KS 66506 USA

[2] Stevens Inst Technol, Hoboken, NJ 07030 USA

来源：

ACM SIGPLAN NOTICES | 2002年 / 37卷 / 01期

关键词：

D O I：

10.1145/565816.503289

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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 beets recently proposed.

引用

页码：166 / 177

页数：12