default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 1992: San Francisco, California
- 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). Yale University 1992
- Lars Ole Andersen, Carsten K. Gomard:
Speedup Analysis in Partial Evaluation: Preliminary Results. PEPM 1992: 1-7 - Karoline Malmkjær:
Predicting Properties of Residual Programs. PEPM 1992: 8-13 - Babak Dehbonei, Pierre Jouvelot:
Semantical Interprocedural Analysis by Partial Symbolic Evaluation. PEPM 1992: 14-20 - Bernhard Rytz, Marc Gengler:
A Polyvariant Binding Time Analysis. PEPM 1992: 21-28 - Morry Katz, Daniel Weise:
Towards a New Perspective on Partial Evaluation. PEPM 1992: 29-37 - Wei-Ngan Chin:
Fully Lazy Higher-Order Removal. PEPM 1992: 38-47 - David J. Sherman, Robert Strandh:
Call Unfolding Strategies for Equational Logic Programs. PEPM 1992: 48-53 - Lars Ole Andersen:
Self-applicable C Program Specialization. PEPM 1992: 54-61 - Charles Consel, Satish Pai:
A Programming Environment for Binding-time Based Partial Evaluators. PEPM 1992: 62-66 - Erik Ruf, Daniel Weise:
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. PEPM 1992: 67-74 - Thomas E. Cheatham, Dan C. Stefanescu:
A Suite of Optimizers Based on Abstract Interpretation. PEPM 1992: 75-81 - Sheila Harnett, Margaret Montenyohl:
Towards Efficient Compilation of a Dynamic Object-Oriented Language. PEPM 1992: 82-89 - C. T. P. Burton:
Program Transformation by Derivor Manipulations. PEPM 1992: 90-97 - John Field:
A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. PEPM 1992: 98-107 - Khaled Bsaïes:
A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. PEPM 1992: 108-115 - Torben Æ. Mogensen:
Self-applicable Partial Evaluation for Pure Lambda Calculus. PEPM 1992: 116-121
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-07 20:39 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:
