default search action
Dagstuhl Seminar Partial Evaluation 1996
- Olivier Danvy
, Robert Glück
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers. Lecture Notes in Computer Science 1110, Springer 1996, ISBN 3-540-61580-6 - Sandrine Blazy
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs. 1-16 - Mikhail A. Bulyonkov, Dmitry V. Kochetov:
Practical Aspects of Specialization of Algol-like Programs. 17-32 - Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann:
Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). 33-53 - Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Nicolae Volansche:
A Uniform Approach for Compile-Time and Run-Time Specialization. 54-72 - Olivier Danvy
Pragmatics of Type-Directed Partial Evaluation. 73-94 - Scott Draves:
Compiler Generation for Interactive Graphics Using Intermediate Code. 95-114 - John P. Gallagher
Regular Approximation of Computation Paths in Logic and Functional Languages. 115-136 - Robert Glück
A Roadmap to Metacomputation by Supercompilation. 137-160 - John Hatcliff, Robert Glück
Reasoning about Hierarchies of Online Program Specialization Systems. 161-182 - John Hughes:
Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference. 183-215 - Neil D. Jones:
What Not to Do When Writing an Interpreter for Specialisation. 216-237 - Jesper Jørgensen, Michael Leuschel:
Efficiently Generating Efficient Generating Extensions in Prolog. 238-262 - Michael Leuschel, Bern Martens:
Global Control for Partial Deduction through Characteristic Atoms and Global Trees. 263-283 - Alain Miniussi, David J. Sherman
Squeezing Intermediate Construction in Equational Programs. 284-302 - Torben Æ. Mogensen:
Evolution of Partial Evaluators: Removing Inherited Limits. 303-321 - Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin:
A Self-Applicable Supercompiler. 322-337 - Flemming Nielson, Hanne Riis Nielson:
Multi-Level Lambda-Calculi: An Algebraic Description. 338-354 - Alberto Pettorossi
A Comparative Revisitation of Some Program Transformation Techniques. 355-385 - Alberto Pettorossi
A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties. 386-408 - Thomas W. Reps, Todd Turnidge:
Program Specialization via Program Slicing. 409-429 - Alexander Sakharov:
Specialization of Imperative Programs Through Analysis of Relational Expressions. 430-445 - Peter Sestoft:
MK Pattern Match Compilation and Partial Evaluation. 446-464 - Michael Sperber:
Self-Applicable Online Partial Evaluation. 465-480 - Valentin F. Turchin:
Metacomputation: Metasystem Transitions plus Supercompilation. 481-509
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: