PEPM 1993: Copenhagen, Denmark

David A. Schmidt (Ed.): Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993. ACM 1993, ISBN 0-89791-594-1

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

Last update Fri May 25 08:31:49 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page