Macquarie University
Browse

Combining dependent types with object-oriented programming: a preliminary study

Download (10.28 MB)
thesis
posted on 2022-03-28, 13:40 authored by Shaun Muscat
Dependently-typed programming languages allow constraints on the processing of data to be expressed through more expressive types than in standard languages. Although a number of dependently-typed programming languages currently exist, these languages generally follow a functional programming model. The combination of dependent types with the widely used object-oriented programming model has not yet been extensively studied. This project provides the basis for future study of this combination through the development of a type system combining key aspects of the Java language with the concepts of pure type systems. A prototype language implementation based on this new type system is used to evaluate the effectiveness of using more expressive types to improve the safety of typical object-oriented programming.

History

Table of Contents

1. Introduction -- 2. Background -- 3. Type systems -- 4. System prototype -- 5. Conclusion.

Notes

Theoretical thesis. Bibliography: pages 59-60

Awarding Institution

Macquarie University

Degree Type

Thesis MRes

Degree

MRes, Macquarie University, Faculty of Science and Engineering, Department of Computing

Department, Centre or School

Department of Computing

Year of Award

2015

Principal Supervisor

Anthony. Sloane

Rights

Copyright Shaun Muscat 2015. Copyright disclaimer: http://www.copyright.mq.edu.au

Language

English

Extent

1 online resource (viii, 60 pages)

Former Identifiers

mq:42170 http://hdl.handle.net/1959.14/1051062

Usage metrics

    Macquarie University Theses

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC