Abstract is missing.
- Shape Analysis as a Generalized Path ProblemThomas W. Reps. 1-11
- A Symbolic Constraint Solving Framework for Analysis of Logic ProgramsC. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar. 12-23
- Self-applicable Online Partial Evaluation of Pure Lambda CalculusTorben Æ. Mogensen. 39-44
- Effect Systems with SubtypingYan Mei Tang, Pierre Jouvelot. 45-53
- Polyvariant Constructor SpecialisationDirk Dussart, Eddy Bevers, Karel De Vlaminck. 54-65
- Polyvariant Specialisation for Higher-Order, Block-Structured LanguagesKaroline Malmkjær, Peter Ørbæk. 66-76
- Implementation of Multiple Specialization in Logic ProgramsGermán Puebla, Manuel V. Hermenegildo. 77-87
- Proving Properties of Programs Defined over Recursive Data StructuresDaniel Le Métayer. 88-99
- Semantic Foundations of Binding Time Analysis for Imperative ProgramsManuvir Das, Thomas W. Reps, Pascal Van Hentenryck. 100-110
- Abstract Interpretation and Low-Level Code OptimizationSaumya K. Debray. 111-121
- Using Abstract Interpretation to Define a Strictness Type Inference SystemBruno Monsuez. 122-133
- Schedulers as Abstract Interpreter of Higher Dimensional AutomataEric Goubault. 134-145
- The Essence of LR ParsingMichael Sperber, Peter Thiemann. 146-155
- Clock Analysis of Synchronous Dataflow ProgramsThomas P. Jensen. 156-167
- The Replacement Operation for CLP ModulesSandro Etalle, Maurizio Gabbrielli. 168-177
- Higher Order Expression ProceduresDavid Sands. 178-189
- Caching Intermediate Results for Program ImprovementYanhong A. Liu, Tim Teitelbaum. 190-201
- Analyzing the Communication Topology of Concurrent ProgramsChristopher Colby. 202-213
- Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-CheckingRégis Cridlig. 214-225
- An Overview of Semantic Models and Static Analysis Techniques for Inductive Data Structures and PointersAlain Deutsch. 226-229
- Action Transformation by Partial EvaluationKyung-Goo Doh. 230-240
- Type Analysis of Logic Programs in the Presence of Type DefinitionsLunjin Lu. 241-252
- Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-InterpretersMichael Leuschel, Danny De Schreye. 253-263