hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Multi-Stage Programming: Its Theory and Applications
Oregon Graduate Institute of Science and Technology.ORCID-id: 0000-0003-3160-9188
1999 (Engelska)Doktorsavhandling, monografi (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Portland: Oregon Graduate Institute of Science and Technology , 1999. , s. 171
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:hh:diva-15052OAI: oai:DiVA.org:hh-15052DiVA, id: diva2:413525
Tillgänglig från: 2011-09-15 Skapad: 2011-04-28 Senast uppdaterad: 2021-05-11Bibliografiskt granskad

Open Access i DiVA

fulltext(726 kB)933 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 726 kBChecksumma SHA-512
6f941c562880b6f3945444a50545bcdb9ff26c84cb102928b559425381a70d71f6a41e941e80986665cba9f9701eec641e257f9e1e49deeb093bdc57a475fee9
Typ fulltextMimetyp application/pdf

Person

Taha, Walid

Sök vidare i DiVA

Av författaren/redaktören
Taha, Walid
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 958 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 1096 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf