Conferences in DBLP
Pascal Van Hentenryck , Olivier Degimbe , Baudouin Le Charlier , Laurent Michel The Impact of Granularity in Abstract Interpretation of Prolog. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:1-14 [Conf ] Baudouin Le Charlier , Olivier Degimbe , Laurent Michel , Pascal Van Hentenryck Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:15-26 [Conf ] Niels Jørgensen Chaotic Fixpoint Iteration Guided by Dynamic Dependency. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:27-44 [Conf ] Alex Ferguson , John Hughes Fast Abstract Interpretation Using Sequential Algorithms. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:45-59 [Conf ] Jean-Claude Fernandez Abstract Interpretation and Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:60-71 [Conf ] Régis Cridlig , Eric Goubault Semantics and Analysis of Linda-Based Languages. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:72-86 [Conf ] Jean-Pierre Talpin , Pierre Jouvelot Compiling FX on the CM-2. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:87-98 [Conf ] Olivier Maffeïs , Paul Le Guernic Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:99-110 [Conf ] Peter Van Roy Challenges in Developing Useful and Practical Static Analysis for Logic Programs. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:111- [Conf ] Robert Glück , Andrei V. Klimov Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:112-123 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo Tupling Functions with Multiple Recursion Parameters. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:124-140 [Conf ] Peter Thiemann Avoiding Repeated Tests in Pattern Matching. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:141-152 [Conf ] Maurice Bruynooghe , Michael Codish Freeness, Sharing, Linearity and Correctness - All at Once. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:153-164 [Conf ] Johan Boye , Jukka Paakki , Jan Maluszynski Synthesis of Directionality Information for Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:165-177 [Conf ] Didier Bert , Rachid Echahed , Bjarte M. Østvold Abstract Rewriting. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:178-192 [Conf ] Paul Hudak Reflections on Program Optimization. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:193- [Conf ] Flemming Nielson , Hanne Riis Nielson Finiteness Conditions for Strictness Analysis. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:194-205 [Conf ] P. N. Benton Strictness Properties of Lazy Algebraic Datatypes. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:206-217 [Conf ] Torben Amtoft Minimal Thunkification. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:218-229 [Conf ] Shohei Kato , Hirohisa Seki , Hidenori Itoh An Efficient Abductive Reasoning System Based on Program Analysis. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:230-241 [Conf ] Lindsay Errington , Chris Hankin , Thomas P. Jensen A Congruence for Gamma Programs. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:242-253 [Conf ] David A. Wright , Clement A. Baker-Finch Usage Analysis with Natural Reduction Types. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:254-266 [Conf ] Bruno Monsuez Polymorphic Types and Widening Operators. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:267-281 [Conf ] Dan Sahlin , Thomas Sjöland Demonstration: Static Analysis of AKL. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:282-283 [Conf ]