Research Catalog
Partial Evaluation International Seminar, Dagstuhl Castle, Germany, February 1996 : selected papers
- Title
- Partial Evaluation International Seminar, Dagstuhl Castle, Germany, February 1996 : selected papers / O. Danvy, R. Glück, P. Thiemann (eds.).
- Author
- International Seminar on Partial Evaluation (1996 : Dagstuhl Castle, Germany)
- Publication
- Berlin ; New York : Springer, 1996.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.76.E93 P37 1996 | Off-site |
Holdings
Details
- Additional Authors
- Description
- xii, 514 pages : illustrations; 23 cm.
- Series Statement
- Lecture notes in computer science ; 1110
- Uniform Title
- Lecture notes in computer science ; 1110.
- Subjects
- Note
- Based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in Feb. 1996.
- Bibliography (note)
- Includes bibliographical references and index.
- Contents
- An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs / Sandrine Blazy and Philippe Facon -- Practical Aspect of Specialization of Algol-like Programs / Mikhail A. Bulyonkov and Dmitriy V. Kochetov -- Synchronization Analysis for Multiple Recursion Parameters / Wei-Ngan Chin, Siau-Cheng Khoo and Peter Thiemann -- A Uniform Approach for Compile-Time and Run-Time Specialization / Charles Consel, Luke Hornof, Francois Noel, Jacques Noye and Nicolae Volanschi -- Pragmatics of Type-Directed Partial Evaluation / Oliver Danvy -- Compiler Generation for Interactive Graphics Using Intermediate Code / Scott Draves -- Regular Approximation of Computation Paths in Logic and Functional Languages / John P. Gallagher and Laura Lafave -- A Roadmap to Metacomputation by Supercompilation / Robert Gluck and Morten Heine Sorensen -- Reasoning about Hierarchies of Online Program Specialization Systems / John Hatcliff and Robert Gluck --
- Type Specialisation for the [lambda]-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference / John Hughes -- What Not to Do When Writing an Interpreter for Specialisation / Neil D. Jones -- Efficiently Generating Efficient Generating Extensions in Prolog / Jesper Jorgensen and Michael Leuschel -- Global Control for Partial Deduction through Characteristic Atoms and Global Trees / Michael Leuschel and Bern Martens -- Squeezing Intermediate Construction in Equational Programs / Alain Miniussi and David J. Sherman -- Evolution of Partial Evaluators: Removing Inherited Limits / Torben E. Mogensen -- A Self-Applicable Supercompiler / Andrei P. Nemytykh, Victoria A. Pinchuk and Valentin F. Turchin -- Multi-Level Lambda-Calculi: An Algebraic Description / Flemming Nielson and Hanne Riis Nielson -- A Comparative Revisitation of Some Program Transformation Techniques / Alberto Pettorossi and Maurizio Proietti --
- A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties / Alberto Pettorossi and Maurizio Proietti -- Programs Specialization via Program Slicing / Thomas Reps and Todd Turnidge -- Specialization of Imperative Programs through Analysis of Relational Expressions / Alexander Sakharov -- ML Pattern Match Compilation and Partial Evaluation / Peter Sestoft -- Self-Applicable Online Partial Evaluation / Michael Sperber -- Metacomputation: Metasystem Transitions plus Supercompilation / Valentin F. Turchin.
- ISBN
- 3540615806 (alk. paper)
- LCCN
- 96027490
- OCLC
- ocm35183895
- Owning Institutions
- Columbia University Libraries