Representation independence, confinement and access control

Anindya Banerjee; David A. Naumann

Representation independence, confinement and access control

Anindya Banerjee, David A. Naumann

Department of Computer Science

Kansas State University

Research output: Contribution to journal › Conference article › peer-review

71 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 language	English
Pages (from-to)	166-177
Number of pages	12
Journal	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
State	Published - 2002
Event	POPL 2002: 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Portland, OR, United States Duration: 16 Jan 2002 → 18 Jan 2002

Cite this

@article{3377ee8feada4d35abc3a0591cb2578a,

title = "Representation independence, confinement and access control",

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.",

author = "Anindya Banerjee and Naumann, \{David A.\}",

year = "2002",

language = "English",

pages = "166--177",

note = "POPL 2002: 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Conference date: 16-01-2002 Through 18-01-2002",

}

TY - JOUR

T1 - Representation independence, confinement and access control

AU - Banerjee, Anindya

AU - Naumann, David A.

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0036040498

UR - https://www.scopus.com/inward/citedby.url?scp=0036040498&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:0036040498

SN - 0730-8566

SP - 166

EP - 177

JO - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

JF - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

T2 - POPL 2002: 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Y2 - 16 January 2002 through 18 January 2002

ER -

Representation independence, confinement and access control

Abstract

Other files and links

Fingerprint

Cite this