Conferences in DBLP
John Hannan Searching For Semantics. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:1-12 [Conf ] Christian Mossin Partial Evaluation of General Parsers. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:13-21 [Conf ] Torben Æ. Mogensen Constructor Spezialization. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:22-32 [Conf ] Karoline Malmkjær Towards Efficient Partial Evaluation. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:33-43 [Conf ] Charles Consel , Calton Pu , Jonathan Walpole Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:44-46 [Conf ] Lars Ole Andersen Binding-Time Analysis and the Taming of C Pointers. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:47-58 [Conf ] Mikhail A. Bulyonkov Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:59-65 [Conf ] Charles Consel Polyvariant Binding-Time Analysis For Applicative Languages. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:66-77 [Conf ] Kei Davis Higher-order Binding-time Analysis. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:78-87 [Conf ] John P. Gallagher Tutorial on Specialisation of Logic Programs. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:88-98 [Conf ] Baudouin Le Charlier , Pascal Van Hentenryck Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop . [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:99-110 [Conf ] Steven David Prestwich Online Partial Deduction of Large Programs. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:111-118 [Conf ] Wei-Ngan Chin Towards an Automated Tupling Strategy. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:119-132 [Conf ] Peter Thiemann A Safety Analysis for Functional Programs. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:133-144 [Conf ] Charles Consel A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:145-154 [Conf ] Julia L. Lawall Proofs by Structural Induction using Partial Evaluation. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:155-166 [Conf ] Torben Poort Lange The Correctness of an Optimized Code Generation. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:167-178 [Conf ] Alan Mycroft Completeness and predicate-based abstract interpretation. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:179-185 [Conf ] Julian Seward Polymorphic Strictness Analysis using Frontiers. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:186-193 [Conf ] Michael Codish , Anne Mulkers , Maurice Bruynooghe , Maria J. García de la Banda , Manuel V. Hermenegildo Improving Abstract Interpretations by Combining Domains. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:194-205 [Conf ] Jesper Vasell A Partial Evaluator for Data Flow Graphs. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:206-215 [Conf ]