Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jesper Vasell |
A Partial Evaluator for Data Flow Graphs. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Charles Consel, Calton Pu, Jonathan Walpole |
Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo |
Improving Abstract Interpretations by Combining Domains. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail A. Bulyonkov |
Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Julia L. Lawall |
Proofs by Structural Induction using Partial Evaluation. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
1 | Wei-Ngan Chin |
Towards an Automated Tupling Strategy. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Karoline Malmkjær |
Predicting Properties of Residual Programs. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Khaled Bsaïes |
A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Morry Katz, Daniel Weise |
Towards a New Perspective on Partial Evaluation. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Torben Æ. Mogensen |
Self-applicable Partial Evaluation for Pure Lambda Calculus. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | David J. Sherman, Robert Strandh |
Call Unfolding Strategies for Equational Logic Programs. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | |
PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909) |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | C. T. P. Burton |
Program Transformation by Derivor Manipulations. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Wei-Ngan Chin |
Fully Lazy Higher-Order Removal. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Lars Ole Andersen |
Self-applicable C Program Specialization. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Charles Consel, Satish Pai |
A Programming Environment for Binding-time Based Partial Evaluators. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Lars Ole Andersen, Carsten K. Gomard |
Speedup Analysis in Partial Evaluation: Preliminary Results. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Bernhard Rytz, Marc Gengler |
A Polyvariant Binding Time Analysis. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Erik Ruf, Daniel Weise |
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | John Field |
A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Babak Dehbonei, Pierre Jouvelot |
Semantical Interprocedural Analysis by Partial Symbolic Evaluation. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Thomas E. Cheatham, Dan C. Stefanescu |
A Suite of Optimizers Based on Abstract Interpretation. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Sheila Harnett, Margaret Montenyohl |
Towards Efficient Compilation of a Dynamic Object-Oriented Language. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
1 | Uwe Meyer 0003 |
Techniques for Partial Evaluation of Imperative Languages. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
Common Lisp |
1 | Charles Consel, Olivier Danvy (eds.) |
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991 |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Kehler Holst, Carsten K. Gomard |
Partial Evaluation is Fuller Laziness. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | David J. Sherman, Robert Strandh, Irène Durand |
Optimization of Equational Programs Using Partial Evaluation. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Erik Ruf, Daniel Weise |
Using Types to Avoid Redundant Specialization. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
SCHEME |
1 | Timothy S. McNerney |
Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Anne De Niel, Eddy Bevers, Karel De Vlaminck |
Program Bifurcation for a Polymorphic Typed Functional Language. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Carsten K. Gomard, Peter Sestoft |
Globalization and Live Variables. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Siau-Cheng Khoo, R. S. Sundaresh |
Compiling Inheritance using Partial Evaluation. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Björn Lisper |
Detecting Static Algorithms by Partial Evaluation. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Proietti, Alberto Pettorossi |
Semantics Preserving Transformation Rules for Prolog. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
1 | Olin Shivers |
The Semantics of Scheme Control-Flow Analysis. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Young Gil Park, Benjamin Goldberg |
Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Dan Sahlin |
Determinacy Analysis for Full Prolog. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
1 | Donald A. Smith |
Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Timothy J. Hickey, Donald A. Smith |
Toward the Partial Evaluation of CLP Languages. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Cortesi, Gilberto Filé |
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
Is There a Use for Linear Logic? |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Spiro Michaylov, Frank Pfenning |
Compiling the Polymorphic Lambda-Calculus. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Arvind |
A Syntactic Approach to Program Transformations. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ian A. Mason, Carolyn L. Talcott |
Program Transformations for Configuring Components. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Andrei V. Klimov |
Dynamic Specialization in Extended Functional Language with Monotone Objects. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Romanenko |
Inversion and Metacomputation. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
Refal |
1 | Robert Muller |
M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
LISP |
1 | Sebastian Hunt, David Sands 0001 |
Binding Time Analysis: A New PERspective. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Torben Amtoft Hansen |
Properties of Unfolding-based Meta-level Systems. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Akihiko Takano |
Generalized Partial Computation for a Lazy Functional Language. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | R. S. Sundaresh |
Building Incremental Programs using Partial Evaluation. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Robert Glück |
Towards Multiple Self-Application. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
LISP |
1 | John Hannan |
Staging Transformations for Abstract Machines. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|