Conferences in DBLP
Manuvir Das Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). [Citation Graph (0, 0)][DBLP ] Conf ] Mathias Braux , Jacques Noyé Towards Partially Evaluating Reflection in Java. [Citation Graph (0, 0)][DBLP ] Conf ] Eijiro Sumii , Naoki Kobayashi Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Grobauer , Zhe Yang The Second Futamura Projection for Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Pfenning On the Logical Foundations of Staged Computation (Abstract of Invited Talk). [Citation Graph (0, 0)][DBLP ] Conf ] Walid Taha A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] John P. Gallagher , Julio C. Peralta Using Regular Approximations for Generalisation During Partial Evalution. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi , Fausto Spoto Non Pair-Sharing and Freeness Analysis Through Linear Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Ngan Chin , Siau-Cheng Khoo Calculating Sized Types. [Citation Graph (0, 0)][DBLP ] Conf ] Yanhong A. Liu , Scott D. Stoller From Recursion to Iteration: What are the Optimizations? [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Walpole Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk). [Citation Graph (0, 0)][DBLP ] Conf ] Naoki Kobayashi Type-Based Useless Variable Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Brian R. Murphy , Monica S. Lam Program Analysis with Partial Transfer Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Scholz , Johann Blieberger , Thomas Fahringer Symbolic Pointer Analysis for Detecting Memory Leaks. [Citation Graph (0, 0)][DBLP ] Conf ] 