Subtyping and protection in persistent programming languages

Michael Hollins; John Rosenberg; Michael Hitchens

doi:10.1109/HICSS.1997.667340

Subtyping and protection in persistent programming languages

Michael Hollins^*, John Rosenberg, Michael Hitchens

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

Abstract

Information hiding or encapsulation is a protection mechanism which prevents users from directly accessing certain fields of an object. In many cases, particularly in persistent systems, it may be desirable to provide varying degrees of encapsulation of an object. This paper presents the mechanisms for controlling the encapsulation of objects in the Mozzie programming language. Encapsulation is modelled using the language's structural subtyping mechanism and may be enforced by use of the language's capability mechanism. Capabilities allow for the dynamic control of encapsulation, including the ability to increase or decrease the amount of encapsulation enforced via a certain object reference.

Original language	English
Title of host publication	Hawaii International Conference on System Sciences, 30th (HICSS '97): Software Technology and Architecture
Place of Publication	Los Alamitos, CA
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	543-552
Number of pages	10
Volume	1
ISBN (Print)	0818677430, 9780818677434
DOIs	https://doi.org/10.1109/HICSS.1997.667340
Publication status	Published - 1997
Externally published	Yes
Event	Proceedings of the 1997 30th Annual Hawaii International Conference on System Sciences. Part 1 (of 6) - Wailea, HI, USA Duration: 7 Jan 1997 → 10 Jan 1997

Other

Other	Proceedings of the 1997 30th Annual Hawaii International Conference on System Sciences. Part 1 (of 6)
City	Wailea, HI, USA
Period	7/01/97 → 10/01/97

Access to Document

10.1109/HICSS.1997.667340

Cite this

@inproceedings{05a9e5d6ca844127a6494db1083ad969,

title = "Subtyping and protection in persistent programming languages",

abstract = "Information hiding or encapsulation is a protection mechanism which prevents users from directly accessing certain fields of an object. In many cases, particularly in persistent systems, it may be desirable to provide varying degrees of encapsulation of an object. This paper presents the mechanisms for controlling the encapsulation of objects in the Mozzie programming language. Encapsulation is modelled using the language's structural subtyping mechanism and may be enforced by use of the language's capability mechanism. Capabilities allow for the dynamic control of encapsulation, including the ability to increase or decrease the amount of encapsulation enforced via a certain object reference.",

author = "Michael Hollins and John Rosenberg and Michael Hitchens",

year = "1997",

doi = "10.1109/HICSS.1997.667340",

language = "English",

isbn = "0818677430",

volume = "1",

pages = "543--552",

booktitle = "Hawaii International Conference on System Sciences, 30th (HICSS '97): Software Technology and Architecture",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "Proceedings of the 1997 30th Annual Hawaii International Conference on System Sciences. Part 1 (of 6) ; Conference date: 07-01-1997 Through 10-01-1997",

}

Hollins, M, Rosenberg, J & Hitchens, M 1997, Subtyping and protection in persistent programming languages. in Hawaii International Conference on System Sciences, 30th (HICSS '97): Software Technology and Architecture. vol. 1, Institute of Electrical and Electronics Engineers (IEEE), Los Alamitos, CA, pp. 543-552, Proceedings of the 1997 30th Annual Hawaii International Conference on System Sciences. Part 1 (of 6), Wailea, HI, USA, 7/01/97. https://doi.org/10.1109/HICSS.1997.667340

Subtyping and protection in persistent programming languages. / Hollins, Michael; Rosenberg, John; Hitchens, Michael.
Hawaii International Conference on System Sciences, 30th (HICSS '97): Software Technology and Architecture. Vol. 1 Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), 1997. p. 543-552.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Subtyping and protection in persistent programming languages

AU - Hollins, Michael

AU - Rosenberg, John

AU - Hitchens, Michael

PY - 1997

Y1 - 1997

N2 - Information hiding or encapsulation is a protection mechanism which prevents users from directly accessing certain fields of an object. In many cases, particularly in persistent systems, it may be desirable to provide varying degrees of encapsulation of an object. This paper presents the mechanisms for controlling the encapsulation of objects in the Mozzie programming language. Encapsulation is modelled using the language's structural subtyping mechanism and may be enforced by use of the language's capability mechanism. Capabilities allow for the dynamic control of encapsulation, including the ability to increase or decrease the amount of encapsulation enforced via a certain object reference.

AB - Information hiding or encapsulation is a protection mechanism which prevents users from directly accessing certain fields of an object. In many cases, particularly in persistent systems, it may be desirable to provide varying degrees of encapsulation of an object. This paper presents the mechanisms for controlling the encapsulation of objects in the Mozzie programming language. Encapsulation is modelled using the language's structural subtyping mechanism and may be enforced by use of the language's capability mechanism. Capabilities allow for the dynamic control of encapsulation, including the ability to increase or decrease the amount of encapsulation enforced via a certain object reference.

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

U2 - 10.1109/HICSS.1997.667340

DO - 10.1109/HICSS.1997.667340

M3 - Conference proceeding contribution

AN - SCOPUS:0031386869

SN - 0818677430

SN - 9780818677434

VL - 1

SP - 543

EP - 552

BT - Hawaii International Conference on System Sciences, 30th (HICSS '97): Software Technology and Architecture

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Los Alamitos, CA

T2 - Proceedings of the 1997 30th Annual Hawaii International Conference on System Sciences. Part 1 (of 6)

Y2 - 7 January 1997 through 10 January 1997

ER -

Subtyping and protection in persistent programming languages

Abstract

Other

Access to Document

Other files and links

Fingerprint

Cite this