Browse wiki
From CERES
| Publications:Multi-Stage Programming : Its Theory and Applications |
| Abstract | <p>MetaML is a statically typed func … <p>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.</p> staging constructsare also new.</p> |
|---|---|
| Author | Walid Taha + |
| Diva | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:413525 |
| PublicationType | PhD Thesis + |
| Publisher | Oregon Graduate Institute of Science and Technology + |
| Title | Multi-Stage Programming : Its Theory and Applications + |
| Year | 1999 + |
| Has queryThis property is a special property in this wiki. | Publications:Multi-Stage Programming : Its Theory and Applications + , Publications:Multi-Stage Programming : Its Theory and Applications + , Publications:Multi-Stage Programming : Its Theory and Applications + , Publications:Multi-Stage Programming : Its Theory and Applications + , Publications:Multi-Stage Programming : Its Theory and Applications + , Publications:Multi-Stage Programming : Its Theory and Applications + , Publications:Multi-Stage Programming : Its Theory and Applications + , Publications:Multi-Stage Programming : Its Theory and Applications + , Publications:Multi-Stage Programming : Its Theory and Applications + , Publications:Multi-Stage Programming : Its Theory and Applications + |
| Categories | Publication + |
| Modification dateThis property is a special property in this wiki. | 26 June 2014 03:45:03 + |
| hide properties that link here |
| No properties link to this page. |
