Search results for "PEPM"

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

Publications at "PEPM"( http://dblp.L3S.de/Venues/PEPM )