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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team