Conferences in DBLP
Olivier Danvy , John Hatcliff Thunks (Continued). [Citation Graph (0, 0)][DBLP ] Conf ] Chris Hankin , Daniel Le Métayer , David Sands Transformation of Gamma Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Queinnec Value Transforming Style. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Mesnard , Marianne Morillon Automatic Generation of Valid Linear Measures for CLP(Q) Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Codish , Moreno Falaschi , Kim Marriott , William H. Winsborough Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bagnara , Roberto Giacobazzi , Giorgio Levi Static Analysis of CLP Programs over Numeric Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Marc-Michel Corsini , Kaninda Musumbu , Antoine Rauzy The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Mycroft , Mads Rosendahl Minimal Function Graphs are not Instrumented. [Citation Graph (0, 0)][DBLP ] Conf ] Geoff W. Hamilton Sharing Analysis of Lazy First-Order Functional Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard P. Serpette Approximations d'évaluateurs fonctionnels. [Citation Graph (0, 0)][DBLP ] Conf ] Young Gil Park , Benjamin Goldberg Order-of-Demand Analysis for Lazy Languages. [Citation Graph (0, 0)][DBLP ] Conf ] E. Saint-James Partial Evaluation in an Industrial Context: Compiling for Endomorphic Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Queinnec , P. Geffroy Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack. [Citation Graph (0, 0)][DBLP ] Conf ] Maria J. García de la Banda , Manuel V. Hermenegildo A Practical Application of Sharing and Freeness Inference. [Citation Graph (0, 0)][DBLP ] Conf ] A. E. Ayers Efficient Closure Analysis with Reachability. [Citation Graph (0, 0)][DBLP ] Conf ] Tadashi Araragi Program Transformation in a Nonmonotonic Reasoning System. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas P. Jensen Axiomatising Uniform Properties of Recursive Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Matthijs F. Kuiper Speeding Up Parallelism Detection for Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Devienne , Patrick Lebègue , Jean-Christophe Routier Weighted Systems Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Amato , Fosca Giannotti , Gianni Mainetto Analysis of Concurrent Transactions in a Functional Database Programming Language. [Citation Graph (1, 0)][DBLP ] Conf ] Jean-Louis Giavitto , Jean-Paul Sansonnet , Olivier Michel Inférer rapidement la géométrie des collections. [Citation Graph (0, 0)][DBLP ] Conf ] Fosca Giannotti , Diego Latella Using Abstract Interpretation for Gate splitting in LOTOS Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Yamine Aït Ameur , Patrice Cros , J.-J. Falcon , A. Gomez An Application of Abstract Interpretation to Floating Point Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Y. Gloess , Y.-N. Huang , Chu Min Li , M.-A. Hernandez On Boolean Feature Types. [Citation Graph (0, 0)][DBLP ] Conf ] Clement A. Baker-Finch Relevant Logic and Strictness Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Baudouin Le Charlier , Pascal Van Hentenryck On the Design of Generic Abstract Interpretation Frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Kirsten Lackner Solberg , Hanne Riis Nielson , Flemming Nielson Inference Systems for Binding Time Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Peter T. Breuer , Jonathan P. Bowen Decompilation is the Efficient Enumeration of Types. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Monsuez Fractional Types. [Citation Graph (0, 0)][DBLP ] Conf ] John P. Gallagher Static Analysis for Logic Program Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Parrain , Philippe Devienne , Patrick Lebègue Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus An Abstract Interpretation Algorithm for Residuating Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yan Mei Tang , Pierre Jouvelot Control-Flow Effects for Escape Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Gengler , M. Rytz A Polyvariant Binding Time Analysis Handling Partially Known Values. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Bechet Partial Evaluation of Interaction Nets. [Citation Graph (0, 0)][DBLP ] Conf ] 