hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Multi-Stage Programming: Its Theory and Applications
Oregon Graduate Institute of Science and Technology.
1999 (engelsk)Doktoravhandling, monografi (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Portland: Oregon Graduate Institute of Science and Technology , 1999. , s. 171
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-15052OAI: oai:DiVA.org:hh-15052DiVA, id: diva2:413525
Tilgjengelig fra: 2011-09-15 Laget: 2011-04-28 Sist oppdatert: 2018-03-23bibliografisk kontrollert

Open Access i DiVA

fulltekst(726 kB)680 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 726 kBChecksum SHA-512
6f941c562880b6f3945444a50545bcdb9ff26c84cb102928b559425381a70d71f6a41e941e80986665cba9f9701eec641e257f9e1e49deeb093bdc57a475fee9
Type fulltextMimetype application/pdf

Personposter BETA

Taha, Walid

Søk i DiVA

Av forfatter/redaktør
Taha, Walid

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 680 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 776 treff
RefereraExporteraLink to record
Permanent link

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