PEPM 1995: La Jolla, California, USA

Neil D. Jones (Ed.): Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, USA, June 21-23, 1995. ACM Press 1995, ISBN 0-89791-720-0

Session 1

Thomas W. Reps:
Shape Analysis as a Generalized Path Problem. 1-11
C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar:
A Symbolic Constraint Solving Framework for Analysis of Logic Programs. 12-23

Session 2

Neil D. Jones:
Special Address: MIX ten years after. 24-38

Session 3

Torben Æ. Mogensen:
Self-applicable Online Partial Evaluation of Pure Lambda Calculus. 39-44
Yan Mei Tang, Pierre Jouvelot:
Effect Systems with Subtyping. 45-53

Session 4

Dirk Dussart, Eddy Bevers, Karel De Vlaminck:
Polyvariant Constructor Specialisation. 54-65
Karoline Malmkjær, Peter Ørbæk:
Polyvariant Specialisation for Higher-Order, Block-Structured Languages. 66-76
Germán Puebla, Manuel V. Hermenegildo:
Implementation of Multiple Specialization in Logic Programs. 77-87

Session 5

Daniel Le Métayer:
Proving Properties of Programs Defined over Recursive Data Structures. 88-99
Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck:
Semantic Foundations of Binding Time Analysis for Imperative Programs. 100-110

Session 6: Invited Talk

Saumya K. Debray:
Abstract Interpretation and Low-Level Code Optimization. 111-121

Session 7

Bruno Monsuez:
Using Abstract Interpretation to Define a Strictness Type Inference System. 122-133
Eric Goubault:
Schedulers as Abstract Interpreter of Higher Dimensional Automata. 134-145

Session 8

Michael Sperber, Peter Thiemann:
The Essence of LR Parsing. 146-155
Thomas P. Jensen:
Clock Analysis of Synchronous Dataflow Programs. 156-167

Session 9

Sandro Etalle, Maurizio Gabbrielli:
The Replacement Operation for CLP Modules. 168-177
David Sands:
Higher Order Expression Procedures. 178-189
Yanhong A. Liu, Tim Teitelbaum:
Caching Intermediate Results for Program Improvement. 190-201

Session 10

Christopher Colby:
Analyzing the Communication Topology of Concurrent Programs. 202-213
Régis Cridlig:
Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking. 214-225

Session 11: Invited Talk

Alain Deutsch:
Semantic models and abstract interpretation techniques for inductive data structures and pointers. 226-229

Session 12

Kyung-Goo Doh:
Action Transformation by Partial Evaluation. 230-240
Lunjin Lu:
Type Analysis of Logic Programs in the Presence of Type Definitions. 241-252
Michael Leuschel, Danny De Schreye:
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters. 253-263

Last update Wed May 22 16:19:35 2013 CET by the DBLP Team —

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