hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
Identifiers
URN: urn:nbn:se:hh:diva-15052OAI: oai:DiVA.org:hh-15052DiVA: diva2:413525
Available from: 2011-09-15 Created: 2011-04-28 Last updated: 2013-01-02Bibliographically approved

Open Access in DiVA

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

Search in DiVA

By author/editor
Taha, Walid
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 250 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: 143 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf