Change search
ReferencesLink to record
Permanent link

Direct link
Multi-Stage Programming: Its Theory and Applications
Oregon Graduate Institute of Science and Technology.
1999 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

MetaML is a statically typed functional programming language with special support for programgeneration. In addition to providing the standard features of contemporary programminglanguages such as Standard ML, MetaML provides three staging annotations. These staging annotationsallow the construction, combination, and execution of object-programs.Our thesis is that MetaML's three staging annotations provide a useful, theoretically soundbasis for building program generators. This dissertation reports on our study of MetaML's stagingconstructs, their use, their implementation, and their formal semantics. Our results include anextended example of where MetaML allows us to produce ecient programs, an explanation ofwhy implementing these constructs in traditional ways can be challenging, two formulations ofMetaML's semantics, a type system for MetaML, and a proposal for extending MetaML with atype construct for closedness.The dissertation consolidates a number of previous publications by the author, includingMetaML's type systems and big-step semantics. The presentation is new. The proposed solutionto an implementation problem and the reduction semantics for MetaML's three staging constructsare also new.

Place, publisher, year, edition, pages
Portland: Oregon Graduate Institute of Science and Technology , 1999. , 171 p.
National Category
Computer Science
URN: urn:nbn:se:hh:diva-15052OAI: diva2:413525
Available from: 2011-09-15 Created: 2011-04-28 Last updated: 2013-01-02Bibliographically approved

Open Access in DiVA

fulltext(726 kB)215 downloads
File information
File name FULLTEXT01.pdfFile size 726 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Taha, Walid
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 215 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 94 hits
ReferencesLink to record
Permanent link

Direct link