PEPM 1995: La Jolla, California, USA

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: An Overview of Semantic Models and Static Analysis 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