Walid Taha, editor. Semantics, Applications, and Implementation of Program Generation, volume 1924. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Closed Types for a Safe Imperative MetaML - Calcagno, Moggi, Sheard (2001) (9 citations) (Correct)
....in high level program generation, and in run time code generation. Aiming to provide a uniform and principled view of these diverse techniques, multi stage programming (Taha Sheard, 1997; Taha et al. 1998; Moggi et al. 1999; Benaissa et al. 1999; Taha, 1999; Calcagno et al. 2000; Taha, 2000b) is a novel paradigm for the development of maintainable, higher performance programs. The key idea in multi stage programming is the use of simple annotations to allow the programmer to break down a computation into distinct stages. Multistage languages provide support for building, combining, ....
....1996) which allows open code and symbolic evaluation under lambda (but has no construct for executing code) Binding Time Analyses (BTAs) for imperative languages must also address such problems. Intuitively, a BTA takes a single stage program and produces a two stage one (Jones et al. 1993; Taha, 2000b) Thiemann Dussart, 1996) describes an o line partial evaluator for a higherorder language with rst class references, where a two level language with regions is used to specify a BTA. This two level language allows storing dynamic values in static cells, but the type and e ect system ....
Taha, Walid (ed). (2000a). Semantics, applications, and implementation of program generation.
Closed Types for a Safe Imperative MetaML - Calcagno, Moggi (2001) (9 citations) (Correct)
....in run time code generation, and in the semantics of programming languages. Aiming to provide a uniform and principled view of these diverse techniques, multi stage programming (Taha Sheard, 1997; Taha et al. 1998; Moggi et al. 1999; Benaissa et al. 1999; Taha, 1999; Calcagno et al. 2000; Taha, 2000b) is a novel paradigm for the development of maintainable, higher performance programs. The key idea in multi stage programming is the use of simple, annotations to allow the programmer to breakdown the cost of a computation into distinct stages. Multi stage languages provide support for ....
....1996) which allows open code and symbolic evaluation under lambda (but has no construct for executing code) Binding Time Analyses (BTAs) for imperative languages must also address such problems. Intuitively, a BTA takes a single stage program and produces a two stage one (Jones et al. 1993; Taha, 2000b) 22 Calcagno, Moggi, Sheard (Thiemann Dussart, 1996) describes an o line partial evaluator for a higherorder language with rst class references, where a two level language with regions is used to specify a BTA. This two level language allows storing dynamic values in static cells, but ....
Taha, Walid (ed). (2000a). Semantics, applications, and implementation of program generation.
Tagless Staged Interpreters for Typed Languages - Pasalic, Taha, Sheard (2002) (3 citations) Self-citation (Taha) (Correct)
No context found.
Walid Taha, editor. Semantics, Applications, and Implementation of Program Generation, volume 1924.
Tagless Staged Interpreters for Typed Languages - Pasalic, Taha, Sheard (2002) (3 citations) Self-citation (Taha) (Correct)
No context found.
Walid Taha, editor. Semantics, Applications, and Implementation of Program Generation, volume 1924.
A Bytecode-Compiled, Type-safe, Multi-Stage Language - Calcagno, Taha, Huang, Leroy (2001) Self-citation (Taha) (Correct)
No context found.
Taha, W., Ed. Semantics, Applications, and Implementation of Program Generation (Montreal,
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC