dc.contributor.advisor |
Potanin, Alex |
|
dc.contributor.advisor |
Groves, Lindsay |
|
dc.contributor.author |
Mackay, Julian |
|
dc.date.accessioned |
2013-11-06T20:21:03Z |
|
dc.date.accessioned |
2022-11-03T00:18:42Z |
|
dc.date.available |
2013-11-06T20:21:03Z |
|
dc.date.available |
2022-11-03T00:18:42Z |
|
dc.date.copyright |
2013 |
|
dc.date.issued |
2013 |
|
dc.identifier.uri |
https://ir.wgtn.ac.nz/handle/123456789/29363 |
|
dc.description.abstract |
A significant issue in modern programming languages is unsafe aliasing. Modern type systems have attempted to address this in two prominent ways; immutability and ownership, and often a combination of the two [4][17].
The goal of this thesis is to formalise Immutability and Ownership using the Coq Proof Assistant, a formal proof management system [13]. We encode three type systems using Coq; Featherweight Immutable Java, Featherweight Generic Java and Featherweight Ownership Generic Java, and prove them sound. We describe the challenges presented in encoding immutability, ownership and type systems in general in Coq. |
en_NZ |
dc.format |
pdf |
en_NZ |
dc.language |
en_NZ |
|
dc.language.iso |
en_NZ |
|
dc.publisher |
Te Herenga Waka—Victoria University of Wellington |
en_NZ |
dc.rights |
Access is restricted to staff and students only until 7/11/2015. |
en_NZ |
dc.subject |
Programming languages |
en_NZ |
dc.subject |
Formal systems |
en_NZ |
dc.subject |
Java |
en_NZ |
dc.title |
Ownership and Immutability in Coq |
en_NZ |
dc.type |
Text |
en_NZ |
vuwschema.contributor.unit |
School of Engineering and Computer Science |
en_NZ |
vuwschema.subject.anzsrcfor |
080308 Programming Languages |
en_NZ |
vuwschema.subject.anzsrcseo |
970108 Expanding Knowledhe in the Information and Computing Sciences |
en_NZ |
vuwschema.type.vuw |
Awarded Research Masters Thesis |
en_NZ |
thesis.degree.discipline |
Computer Science |
en_NZ |
thesis.degree.grantor |
Te Herenga Waka—Victoria University of Wellington |
en_NZ |
thesis.degree.level |
Masters |
en_NZ |
thesis.degree.name |
Master of Science |
en_NZ |