default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 1995: La Jolla, California, USA
- Neil D. Jones:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
