default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 2000: Boston, Massachusetts, USA
- Julia L. Lawall:
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000. ACM 2000, ISBN 1-58113-201-8
- Manuvir Das:
Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). 1 - Mathias Braux, Jacques Noyé:
Towards Partially Evaluating Reflection in Java. 2-11 - Eijiro Sumii, Naoki Kobayashi
:
Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). 12-21 - Bernd Grobauer, Zhe Yang:
The Second Futamura Projection for Type-Directed Partial Evaluation. 22-32 - Frank Pfenning:
On the Logical Foundations of Staged Computation (Abstract of Invited Talk). 33 - Walid Taha:
A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). 34-43 - John P. Gallagher, Julio C. Peralta:
Using Regular Approximations for Generalisation During Partial Evalution. 44-51 - Giorgio Levi, Fausto Spoto:
Non Pair-Sharing and Freeness Analysis Through Linear Refinement. 52-61 - Wei-Ngan Chin, Siau-Cheng Khoo:
Calculating Sized Types. 62-72 - Yanhong A. Liu, Scott D. Stoller:
From Recursion to Iteration: What are the Optimizations? 73-82 - Jonathan Walpole:
Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk). 83 - Naoki Kobayashi:
Type-Based Useless Variable Elimination. 84-93 - Brian R. Murphy, Monica S. Lam:
Program Analysis with Partial Transfer Functions. 94-103 - Bernhard Scholz, Johann Blieberger, Thomas Fahringer:
Symbolic Pointer Analysis for Detecting Memory Leaks. 104-113
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-21 20:35 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:
