- Author
- Title
- A unit-aware matrix language and its application in control and auditing
- Supervisors
- Co-supervisors
-
P.I. Elsas
- Award date
- 29 October 2019
- Number of pages
- 178
- Document type
- PhD thesis
- Faculty
- Faculty of Science (FNWI)
- Institute
- Informatics Institute (IVI)
- Abstract
-
Support for units of measurement is the main topic of the research project described in this thesis. In this interdisciplinary project, knowledge from the fields of computing and auditing is combined to investigate the possibilities of unit-aware organization modeling. Such modeling also requires computations in proper units of measurement and thus a unit-aware programming language. The first part of this thesis describes a unit-aware matrix type based on dimensioned linear algebra that infers principle types for linear algebra expressions. In the second part the matrix type is used to construct unit-aware value cycle models from the field of control and auditing.
- Persistent Identifier
- https://hdl.handle.net/11245.1/fd7be191-700f-4468-a329-4c8ecd9007ba
- Downloads
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.