ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '93)

Copenhagen, Denmark
June 14-16, 1993

Program

John Hannan
"Searching For Semantics"
ACM Digital Library

Christian Mossin
"Partial Evaluation of General Parsers"
ACM Digital Library

Torben Æ. Mogensen
"Constructor Spezialization"
ACM Digital Library

Karoline Malmkjær
"Towards Efficient Partial Evaluation"
ACM Digital Library

Charles Consel, Calton Pu and Jonathan Walpole
"Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems"
ACM Digital Library

Lars Ole Andersen
"Binding-Time Analysis and the Taming of C Pointers"
ACM Digital Library

Mikhail A. Bulyonkov
"Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer"
ACM Digital Library

Charles Consel
"Polyvariant Binding-Time Analysis For Applicative Languages"
ACM Digital Library

Kei Davis
"Higher-order Binding-time Analysis"
ACM Digital Library

John P. Gallagher
"Tutorial on Specialisation of Logic Programs"
ACM Digital Library

Baudouin Le Charlier and Pascal Van Hentenryck
"Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop"
ACM Digital Library

Steven David Prestwich
"Online Partial Deduction of Large Programs"
ACM Digital Library

Wei-Ngan Chin
"Towards an Automated Tupling Strategy"
ACM Digital Library

Peter Thiemann
"A Safety Analysis for Functional Programs"
ACM Digital Library

Charles Consel
"A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages"
ACM Digital Library

Julia L. Lawall
"Proofs by Structural Induction using Partial Evaluation"
ACM Digital Library

Torben Poort Lange
"The Correctness of an Optimized Code Generation"
ACM Digital Library

Alan Mycroft
"Completeness and predicate-based abstract interpretation"
ACM Digital Library

Julian Seward
"Polymorphic Strictness Analysis using Frontiers"
ACM Digital Library

Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda and Manuel V. Hermenegildo
"Improving Abstract Interpretations by Combining Domains"
ACM Digital Library

Jesper Vasell
"A Partial Evaluator for Data Flow Graphs"
ACM Digital Library