MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Polyvariant Binding Time Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
by Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas — 1998 — Proceedings of the European Symposium on Programming (ESOP’98), LNCS 1381
…A Polyvariant Binding-Time Analysis for Off-line Partial Deduction Maurice Bruynooghe, Michael…
Cited by 12 (10 self) – Add To MetaCart

Polyvariant Binding-Time Analysis For Applicative Languages
by Charles Consel — 1993 — Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '93
…. Related Work In our PhD thesis [5], we had already developed a polyvariant binding-time analysis…
Cited by 27 (1 self) – Add To MetaCart

Separate Polyvariant Binding Time Reconstruction
by Charles Consel, Pierre Jouvelot, Peter Ørbæk — 1994 — CRI Report A/261, Ecole des Mines
… unpublished version of our work [7], Henglein and Mossin [16] introduce a polyvariant binding time analysis…
Cited by 1 (0 self) – Add To MetaCart

A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages
by Charles Consel — 1993 — Proceedings of the Second ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
… languages. This system named Schism, is based on a polyvariant binding-time analysis that treats higher…
Cited by 73 (12 self) – Add To MetaCart

Binding-Time Analysis for Both Static and Dynamic Expressions
by Kenichi Asai, Human Activity — 1999 — In Static Analysis Symposium
… as the conventional binding-time analysis. A polyvariant binding-time analysis is a more general approach to give…
Cited by 11 (1 self) – Add To MetaCart

Tutorial Notes on Partial Evaluation
by Charles Consel, Olivier Danvy — 1993 — Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages
…]. Independently, Gengler and Rytz have extended the system with a polyvariant binding-time analysis…
Cited by 227 (65 self) – Add To MetaCart

Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs
by J. Michael Ashley, Charles Consel — 1994 — ACM Transactions on Programming Languages and Systems
… in a polyvariant binding-time analysis. A binding-time analysis is a part of the preprocessing phase…
Cited by 12 (5 self) – Add To MetaCart

The Generation of a Higher-Order Online Partial Evaluator
by Peter Thiemann, Robert Glück — 1995
…. On the other hand, if a polyvariant binding-time analysis is present the specializer may easily run…
Cited by 3 (3 self) – Add To MetaCart

Run-Time Code Generation for Type-Directed Partial Evaluation
by Morten Rhiger — 1999
…, monovariant specialization produces at most one version of each source function. A polyvariant binding-time…
Add To MetaCart

A Hybrid Approach to Online and Offline Partial Evaluation
by Eijiro Sumii, Naoki Kobayashi — 2002 — Higher-Order and Symbolic Computation
… makes it before specialization by using a static analysis called binding-time analysis. Compared…
Cited by 9 (0 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB