Conferences in DBLP
Akihiko Takano Generalized Partial Computation for a Lazy Functional Language. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Romanenko Inversion and Metacomputation. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Sahlin Determinacy Analysis for Full Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Björn Lisper Detecting Static Algorithms by Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy J. Hickey , Donald A. Smith Toward the Partial Evaluation of CLP Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Cortesi , Gilberto Filé Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Donald A. Smith Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] David Sherman , Robert Strandh , Irène Durand Optimization of Equational Programs Using Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] R. S. Sundaresh Building Incremental Programs using Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Meyer Techniques for Partial Evaluation of Imperative Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy S. McNerney Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Zena M. Ariola , Arvind A Syntactic Approach to Program Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] John Hannan Staging Transformations for Abstract Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Anne De Niel , Eddy Bevers , Karel De Vlaminck Program Bifurcation for a Polymorphic Typed Functional Language. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Hunt , David Sands Binding Time Analysis: A New PERspective. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten K. Gomard , Peter Sestoft Globalization and Live Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Young Gil Park , Benjamin Goldberg Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. [Citation Graph (0, 0)][DBLP ] Conf ] Olin Shivers The Semantics of Scheme Control-Flow Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei V. Klimov Dynamic Specialization in Extended Functional Language with Monotone Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Siau-Cheng Khoo , R. S. Sundaresh Compiling Inheritance using Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Kehler Holst , Carsten K. Gomard Partial Evaluation is Fuller Laziness. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Muller M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Torben Amtoft Hansen Properties of Unfolding-based Meta-level Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Philip Wadler Is There a Use for Linear Logic? [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Proietti , Alberto Pettorossi Semantics Preserving Transformation Rules for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Spiro Michaylov , Frank Pfenning Compiling the Polymorphic Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Ian A. Mason , Carolyn L. Talcott Program Transformations for Configuring Components. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Glück Towards Multiple Self-Application. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Ruf , Daniel Weise Using Types to Avoid Redundant Specialization. [Citation Graph (0, 0)][DBLP ] Conf ] 