thesis_access.pdf (543.36 kB)
OwnKit: Ownership Inference for Java
thesis
posted on 2021-11-13, 10:31 authored by Dymnikov, ConstantineObject ownership allows us to statically control run-time aliasing in order to provide a strong notion of object encapsulation. Unfortunately in order to use ownership, code must first be annotated with extra type information. This imposes a heavy burden on the programmer, and has contributed to the slow adoption of ownership. Ownership inference is the process of reconstructing ownership type information based on the existing ownership patterns in code. This thesis presents OwnKit—an automatic ownership inference tool for Java. OwnKit conducts inference in a modular way: by only considering a single class at the time. The modularity makes our algorithm highly scalable in both time and memory usage.
History
Copyright Date
2013-01-01Date of Award
2013-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 Engineering and Computer ScienceAdvisors
Potanin, Alex; Pearce, DavidUsage metrics
Keywords
EncapsulationAliasingProgramming languagesObject-oriented programmingSchool: School of Engineering and Computer Science089999 Information and Computing Sciences not elsewhere classifiedMarsden: 280302 Software EngineeringDegree Discipline: Computer ScienceDegree Level: MastersDegree Name: Master of ScienceInformation and Computing Sciences not elsewhere classified
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC