Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy  Home/Search
Context
Related
| dcs.qmw.ac.uk/~ccris/ft...pldi02pre.ps yale.edu/homes/taha/pub...pldi02pre.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.qmul.ac.uk/~ccris/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Inspired by the successes of program generation, partial evaluation, and runtime code generation, multi-stage languages were developed as a uniform, high-level, and principled view of staging. Our current goal is to demonstrate the utility of these languages in a practical implementation. As a rst step this paper presents MetaOCaml, a type-safe, multi-stage language, built as an extension to OCaml's bytecode compiler. Future-stage computations are represented as source programs. This makes it... (Update)
Similar documents (at the sentence level):
8.4%: Implementing Multi-stage Languages Using ASTs, Gensym.. - Calcagno, Taha, Huang, .. (Correct)
Active bibliography (related documents): More All
1.2: Accomplishments and Research Challenges in Meta-Programming - Sheard (2000) (Correct)
0.8: Macros as Multi-Stage Computations: Type-Safe, Generative.. - Ganz, Sabry, Taha (2001) (Correct)
0.7: Semantic and Logical Properties of Stateful Programming - Calcagno (2002) (Correct)
Similar documents based on text: More All
0.3: Closed Types for a Safe Imperative MetaML - Calcagno, Moggi (2001) (Correct)
0.3: DSL Implementation in MetaOCaml, Template Haskell, and.. - Czarnecki, O'Donnell.. (Correct)
0.2: OcamlP3l a functional parallel programming system - DANELUTTO, DI COSMO, LEROY, .. (1998) (Correct)
BibTeX entry: (Update)
@misc{ calcagno-bytecodecompiled,
author = "Cristiano Calcagno and Walid Taha and Liwen Huang and Xavier Leroy",
title = "A Bytecode-Compiled, Type-safe, Multi-Stage Language",
url = "citeseer.ist.psu.edu/calcagno01bytecodecompiled.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
133 Multi-stage programming with explicit annotations - Taha, Sheard - 1997
132 A general approach for run-time specialization and its appli.. - Consel, No - 1996
123 Optimizing ML with run-time code generation - Lee, Leone - 1996
120 Dynamo: A transparent dynamic optimization system - Bala, Duesterwald et al. - 1999
99 A partial evaluator for untyped lambda calculus - Gomard, Jones - 1991
85 An experiment in partial evaluation: The generation of a com.. (context) - Jones, Sestoft et al. - 1985
80 A temporal-logic approach to binding-time analysis - Davies - 1996
59 Multi-Stage Programming: Its Theory and Applications - Taha - 1999
54 Practicing JUDO: Java under dynamic optimizations (context) - Cierniak, Lueh et al.
53 Multi-stage programming: Axiomatization and type-safety - Taha, Benaissa et al. - 1998
51 An evaluation of staged run-time optimizations in DyC (context) - Grant, Philipose et al. - 1999
44 Lightweight run-time code generation - Leone, Lee - 1994
38 A sound reduction semantics for untyped CBN multi-stage comp.. - Taha - 2000
35 Two-level semantics and code generation (context) - Nielson, Nielson - 1988
34 An idealized MetaML: Simpler (context) - Moggi, Taha et al. - 1999
34 A case for runtime code generation (context) - Keppel, Eggers et al. - 1991
34 Lisp and Symbolic Computation (context) - Dybvig, Hieb et al. - 1992
28 Run-time code generation and Modal-ML - Wickline, Lee et al. - 1998
28 A categorical account of two-level languages - Moggi - 1997
28 Compilers and staging transformations (context) - rring, Scherlis - 1986
27 MetaML: Multi-stage programming with explicit annotations - Taha, Sheard - 2000
25 MetaML and multi-stage programming with explicit annotations - Taha, Sheard - 1999
24 template-based run-time specialization: Implementation and e.. (context) - el, Hornof et al.
24 Functor categories and two-level languages - Moggi - 1998
24 Accomplishments and research challenges in meta-programming - Sheard - 2000
23 Incremental specialization: The key to high performance (context) - Consel, Pu et al. - 1993
22 DSL implementation using staging and monads - Sheard, Benaissa et al. - 1999
22 Dynamic typing through staged type inference (context) - Shields, Sheard et al. - 1998
22 Logical modalities and multi-stage programming - Benaissa, Moggi et al. - 1999
21 A study of dynamic optimization techniques: Lessons and dire.. - Pu, Walpole - 1993
19 A declarative approach to run-time code generation - Leone, Lee - 1996
19 Closed types as a simple approach to safe imperative multi-s.. - Calcagno, Moggi et al. - 2000
16 Provides source code and documentation online at http://www (context) - Home - 2000
16 type-safe multi-stage programming language (context) - compiled - 2001
14 Binding-time analysis applied to mathematical algorithms (context) - uck, Nakashige et al. - 1995
14 ACM Transactions on Programming Languages and Systems (context) - Nielson, transformations - 1985
13 Available online from ftpcse (context) - Institute, Box et al. - 1999
13 ective code generation in a just-in-time Java compiler (context) - Adl-Tabatabai, Cierniak et al. - 1998
13 Fast binding-time analysis for multi-level specialization - uck, rgensen - 1996
13 Unboxed values as rst class citizens in a non-strict functio.. - Jones, Launchbury - 1991
12 Lightweight and generative components II: Binary-level compo.. - Kamin, Callahan et al. - 2000
12 of Lecture Notes in Computer Science (context) - Taha - 2001
11 and machine-independent dynaic code generation (context) - Engler, Hsieh et al. - 1996
11 Ecient multi-level generating extensions for program special.. (context) - uck, rgensen - 1995
8 Tag elimination and Jones-optimality - Taha, Makholm et al.
7 Multi-stage imperative languages: A conservative extension r.. - Calcagno, Moggi - 2000
6 Available from http://caml (context) - Leroy - 2000
5 and Implementation of Program Generation (context) - Taha
5 type specialisation is a type-indexed e ect (context) - Taha, Makholm - 2000
4 Higher-order code splicing - Thiemann - 1999
4 Modular Compilers and their Correctness Proofs (context) - Harrison - 2001
3 Metacomputation-based compiler architecture - Harrison, Kamin - 2000
3 Pragmatic aspects of reusable software generators (context) - Ramsey - 2000
Documents on the same site (http://www.dcs.qmul.ac.uk/~ccris/): More
Two-Level Languages for Program Optimization - Calcagno (Correct)
Stratified Operational Semantics for Safety and Correctness of.. - Calcagno (2001) (Correct)
Closed Types as a Simple Approach to Safe Imperative.. - Calcagno, Moggi, Taha (2000) (Correct)
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