PEPM 1993: Copenhagen, Denmark

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, ACM, New York 1993, ISBN 0-89791-594-1

John Hannan: Searching For Semantics. 1-12 BibTeX
Christian Mossin: Partial Evaluation of General Parsers. 13-21 BibTeX
Torben Æ. Mogensen: Constructor Spezialization. 22-32 BibTeX
Karoline Malmkjær: Towards Efficient Partial Evaluation. 33-43 BibTeX
Charles Consel, Calton Pu, Jonathan Walpole: Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems. 44-46 BibTeX
Lars Ole Andersen: Binding-Time Analysis and the Taming of C Pointers. 47-58 BibTeX
Mikhail A. Bulyonkov: Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer. 59-65 BibTeX
Charles Consel: Polyvariant Binding-Time Analysis For Applicative Languages. 66-77 BibTeX
Kei Davis: Higher-order Binding-time Analysis. 78-87 BibTeX
John P. Gallagher: Tutorial on Specialisation of Logic Programs. 88-98 BibTeX
Baudouin Le Charlier, Pascal Van Hentenryck: Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop. 99-110 BibTeX
Steven David Prestwich: Online Partial Deduction of Large Programs. 111-118 BibTeX
Wei-Ngan Chin: Towards an Automated Tupling Strategy. 119-132 BibTeX
Peter Thiemann: A Safety Analysis for Functional Programs. 133-144 BibTeX
Charles Consel: A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages. 145-154 BibTeX
Julia L. Lawall: Proofs by Structural Induction using Partial Evaluation. 155-166 BibTeX
Torben Poort Lange: The Correctness of an Optimized Code Generation. 167-178 BibTeX
Alan Mycroft: Completeness and predicate-based abstract interpretation. 179-185 BibTeX
Julian Seward: Polymorphic Strictness Analysis using Frontiers. 186-193 BibTeX
Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo: Improving Abstract Interpretations by Combining Domains. 194-205 BibTeX
Jesper Vasell: A Partial Evaluator for Data Flow Graphs. 206-215 BibTeX