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 proceedingConference proceeding contributionpeer-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 languageEnglish
Title of host publicationHawaii International Conference on System Sciences, 30th (HICSS '97): Software Technology and Architecture
Place of PublicationLos Alamitos, CA
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages543-552
Number of pages10
Volume1
ISBN (Print)0818677430, 9780818677434
DOIs
Publication statusPublished - 1997
Externally publishedYes
EventProceedings of the 1997 30th Annual Hawaii International Conference on System Sciences. Part 1 (of 6) - Wailea, HI, USA
Duration: 7 Jan 199710 Jan 1997

Other

OtherProceedings of the 1997 30th Annual Hawaii International Conference on System Sciences. Part 1 (of 6)
CityWailea, HI, USA
Period7/01/9710/01/97

Fingerprint

Dive into the research topics of 'Subtyping and protection in persistent programming languages'. Together they form a unique fingerprint.

Cite this