Conferences in DBLP
Thomas W. Reps Shape Analysis as a Generalized Path Problem. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:1-11 [Conf ] C. R. Ramakrishnan , I. V. Ramakrishnan , R. C. Sekar A Symbolic Constraint Solving Framework for Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:12-23 [Conf ] Neil D. Jones Special Address: MIX ten years after. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:24-38 [Conf ] Torben Æ. Mogensen Self-applicable Online Partial Evaluation of Pure Lambda Calculus. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:39-44 [Conf ] Yan Mei Tang , Pierre Jouvelot Effect Systems with Subtyping. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:45-53 [Conf ] Dirk Dussart , Eddy Bevers , Karel De Vlaminck Polyvariant Constructor Specialisation. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:54-65 [Conf ] Karoline Malmkjær , Peter Ørbæk Polyvariant Specialisation for Higher-Order, Block-Structured Languages. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:66-76 [Conf ] Germán Puebla , Manuel V. Hermenegildo Implementation of Multiple Specialization in Logic Programs. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:77-87 [Conf ] Daniel Le Métayer Proving Properties of Programs Defined over Recursive Data Structures. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:88-99 [Conf ] Manuvir Das , Thomas W. Reps , Pascal Van Hentenryck Semantic Foundations of Binding Time Analysis for Imperative Programs. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:100-110 [Conf ] Saumya K. Debray Abstract Interpretation and Low-Level Code Optimization. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:111-121 [Conf ] Bruno Monsuez Using Abstract Interpretation to Define a Strictness Type Inference System. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:122-133 [Conf ] Eric Goubault Schedulers as Abstract Interpreter of Higher Dimensional Automata. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:134-145 [Conf ] Michael Sperber , Peter Thiemann The Essence of LR Parsing. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:146-155 [Conf ] Thomas P. Jensen Clock Analysis of Synchronous Dataflow Programs. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:156-167 [Conf ] Sandro Etalle , Maurizio Gabbrielli The Replacement Operation for CLP Modules. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:168-177 [Conf ] David Sands Higher Order Expression Procedures. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:178-189 [Conf ] Yanhong A. Liu , Tim Teitelbaum Caching Intermediate Results for Program Improvement. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:190-201 [Conf ] Christopher Colby Analyzing the Communication Topology of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:202-213 [Conf ] Régis Cridlig Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:214-225 [Conf ] Alain Deutsch An Overview of Semantic Models and Static Analysis Techniques for Inductive Data Structures and Pointers. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:226-229 [Conf ] Kyung-Goo Doh Action Transformation by Partial Evaluation. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:230-240 [Conf ] Lunjin Lu Type Analysis of Logic Programs in the Presence of Type Definitions. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:241-252 [Conf ] Michael Leuschel , Danny De Schreye Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:253-263 [Conf ]