thesis_access.pdf (741.28 kB)
Encapsulation Enforcement with Dynamic Ownership
thesis
posted on 2021-11-08, 01:42 authored by Gordon, Donald JamesUnrestricted aliasing is a problem endemic to object oriented programming. It allows notions of encapsulation fundamental to object oriented programming to be violated. This thesis describes ConstrainedJava, an implementation of a language that provides alias control via a much stronger encapsulation guarantees than traditional object-oriented programming languages, integrated with a constraint system. Unlike most existing aliasing control systems, this encapsulation system integrates well with untyped dynamic languages such as ConstrainedJava. This stronger form of encapsulation has been enhanced to make it easier to write practical programs while still providing useful encapsulation guarantees.
History
Copyright Date
2008-01-01Date of Award
2008-01-01Publisher
Te Herenga Waka—Victoria University of WellingtonRights License
Author Retains CopyrightDegree Discipline
Computer ScienceDegree Grantor
Te Herenga Waka—Victoria University of WellingtonDegree Level
MastersDegree Name
Master of ScienceVictoria University of Wellington Item Type
Awarded Research Masters ThesisLanguage
en_NZVictoria University of Wellington School
School of Mathematics, Statistics and Computer ScienceAdvisors
Noble, JamesUsage metrics
Keywords
Object-oriented programming languagesJava (Computer program language)Encapsulation system integrationConstraint programming (Computer science)School: School of Mathematics, Statistics and Computer Science089999 Information and Computing Sciences not elsewhere classifiedMarsden: 280303 Programming LanguagesDegree Discipline: Computer ScienceDegree Level: MastersDegree Name: Master of ScienceInformation and Computing Sciences not elsewhere classified