the denotational semantics of staged execution of open code Export

@misc{citeulike:4199, abstract = {The functional meta-programming language MetaML of Sheard et al contains explicit staging constructs for generating and executing code. It provides a much finer control over the order of computation than traditional languages with fixed-evaluation strategies. This paper presents a novel denotational semantics for untyped MetaML that provides a remarkably simple treatment of two semantically problematic aspects of the language: computation involves substitution of open code values within the...}, author = {Pitts, A. and Sheard, T.}, citeulike-article-id = {4199}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.6116}, keywords = {metaml, semantics, staging}, posted-at = {2004-12-19 12:05:22}, title = {the denotational semantics of staged execution of open code}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.6116}, year = {2004} }

TY - GEN ID - citeulike:4199 L3 - citeulike-article-id:4199 N2 - The functional meta-programming language MetaML of Sheard et al contains explicit staging constructs for generating and executing code. It provides a much finer control over the order of computation than traditional languages with fixed-evaluation strategies. This paper presents a novel denotational semantics for untyped MetaML that provides a remarkably simple treatment of two semantically problematic aspects of the language: computation involves substitution of open code values within the... TI - the denotational semantics of staged execution of open code KW - metaml KW - semantics KW - staging AU - Pitts, A AU - Sheard, T PY - 2004/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.6116 ER -