- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- IR-MetaOCaml : (re)implementing MetaOCaml
Open Collections
UBC Theses and Dissertations
UBC Theses and Dissertations
IR-MetaOCaml : (re)implementing MetaOCaml Roubinchtein, Evgeny
Abstract
Multi-stage programming is a form of metaprogramming that is an extension of ideas and techniques of partial evaluation. This thesis discusses a (re)implementation of a multi-stage programming system MetaOCaml. The system presented here differs from the OCaml implementation by Taha et al in that it is implemented on top of a modern OCaml compiler. It differs from BER MetaOCaml in that it supports generation of native code in a turn-key fashion. It differs from both systems in that it uses the OCaml intermediate representation to represent the notion of code (to the best of my knowledge, existing system use abstract syntax trees instead.)
Item Metadata
Title |
IR-MetaOCaml : (re)implementing MetaOCaml
|
Creator | |
Publisher |
University of British Columbia
|
Date Issued |
2015
|
Description |
Multi-stage programming is a form of metaprogramming that is an
extension of ideas and techniques of partial evaluation. This thesis
discusses a (re)implementation of a multi-stage programming system
MetaOCaml. The system presented here differs from the OCaml
implementation by Taha et al in that it is implemented on top of a
modern OCaml compiler. It differs from BER MetaOCaml in that it
supports generation of native code in a turn-key fashion. It differs
from both systems in that it uses the OCaml intermediate representation
to represent the notion of code (to the best of my knowledge, existing
system use abstract syntax trees instead.)
|
Genre | |
Type | |
Language |
eng
|
Date Available |
2015-10-24
|
Provider |
Vancouver : University of British Columbia Library
|
Rights |
Attribution-NonCommercial-ShareAlike 2.5 Canada
|
DOI |
10.14288/1.0166800
|
URI | |
Degree | |
Program | |
Affiliation | |
Degree Grantor |
University of British Columbia
|
Graduation Date |
2015-11
|
Campus | |
Scholarly Level |
Graduate
|
Rights URI | |
Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
Attribution-NonCommercial-ShareAlike 2.5 Canada