Mark Leone, Peter Lee  Home/Search
Context
Related
| indiana.edu/pub/techreport...TR497.ps.Z indiana.edu/~mleone/papers/rbt.ps.gz indiana.edu/l/www/hyplan/ml...rbt.ps.gz 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: indiana.edu/ftp/techrepor...index (more) From: indiana.edu/~mleone/research (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Programming systems that generate code at run time offer unique opportunities for specialization. Dynamic specialization can exploit run-time values that are not available at compile time, yielding code that is superior to statically optimal code. Unfortunately, conventional formulations of binding-time analysis prove overly restrictive in such a setting. The values computed by specialized procedures are classified as dynamic, which prevents a useful form of multi-stage specialization. We... (Update)
Active bibliography (related documents): More All
0.6: Dynamic Specialization in the Fabius System - Leone, Lee (1998) (Correct)
0.3: Multi-Level Specialization (Extended Abstract) - Glück, Jørgensen (Correct)
0.2: Run-time Code Generation and Modal-ML - Wickline, Lee, Pfenning (1998) (Correct)
Similar documents based on text: More All
0.1: A Programmable Approach to WWW Authoring Using . . . - Nørmark (2001) (Correct)
0.1: Correctness of a Region-Based Binding-Time Analysis - Thiemann (1997) (Correct)
0.1: Binding-time Analysis for Polymorphic Types - Heldal, Hughes (2001) (Correct)
BibTeX entry: (Update)
@misc{ leone-multistage,
author = "Mark Leone and Peter Lee",
title = "Multi-Stage Specialization with Relative Binding Times",
url = "citeseer.ist.psu.edu/leone97multistage.html" }
Citations (may not include all citations):143 A modal analysis of staged computation - Davies, Pfenning - 1996
133 Multi-stage programming with explicit annotations - Taha, Sheard - 1997
123 Optimizing ML with run-time code generation - Lee, Leone - 1996
96 Automatic autoprojection of recursive equations with global .. - Bondorf, Danvy - 1991
44 Lightweight run-time code generation - Leone, Lee - 1994
31 Annotation-directed run-time specialization in C - Grant, Mock et al. - 1997
20 Modal types as staging specifications for run-time code gene.. - Wickline, Lee et al. - 1997
19 A declarative approach to run-time code generation - Leone, Lee - 1996
6 Compiler generation for interactive graphics using intermedi.. - Draves - 1996
5 Efficient multi-level generating extensions (context) - Gluck, Jorgensen - 1995
3 Prescriptive frameworks for multi-level lambda-calculi - Nielson, Nielson - 1997
Documents on the same site (http://www.cs.indiana.edu/ftp/techreports/index.html): More
Topological Reasoning and The Logic of Knowledge - Dabrowski, Moss, Parikh (Correct)
Merging Interactive, Modular, And Object-Oriented Programming - Tung (Correct)
First-Class Extents - Shinn-Der Lee (1992) (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