PEPM 1995:
La Jolla,
California,
USA
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
Session 2
Session 3
Session 4
Session 5
Session 6:
Invited Talk
Session 7
- Bruno Monsuez:
Using Abstract Interpretation to Define a Strictness Type Inference System.
122-133 BibTeX
- Eric Goubault:
Schedulers as Abstract Interpreter of Higher Dimensional Automata.
134-145 BibTeX
Session 8
Session 9
Session 10
- Christopher Colby:
Analyzing the Communication Topology of Concurrent Programs.
202-213 BibTeX
- Régis Cridlig:
Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking.
214-225 BibTeX
Session 11:
Invited Talk
- Alain Deutsch:
An Overview of Semantic Models and Static Analysis Techniques for Inductive Data Structures and Pointers.
226-229 BibTeX
Session 12
Copyright © Sat May 16 23:33:10 2009
by Michael Ley (ley@uni-trier.de)