Conferences in DBLP
G. Ramalingam On Sparse Evaluation Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Shapiro 0002 , Susan Horwitz The Effects of the Presision of Pointer Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Oscar Waddell , R. Kent Dybvig Fast and Effective Procedure Inlining. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bagnara , Patricia M. Hill , Enea Zaffanella Set-Sharing is Redundant for Pair-Sharing. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Codish , Vitaly Lagoon , Francisco Bueno An Algebraic Approach to Sharing Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Francesca Scozzari Logical Optimality of Groundness Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Kwangkeun Yi , Sukyoung Ryu Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Fähndrich , Alexander Aiken Program Analysis Using Mixed Term and Set Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Talbot , Sophie Tison , Philippe Devienne Set-Based Analysis for Logic Programming and Tree Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Zartmann Denotational Abstract Interpretation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Speirs , Zoltan Somogyi , Harald Søndergaard Termination Analysis for Mercury. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Boigelot , Patrice Godefroid , Bernard Willems , Pierre Wolper The Power of QDDs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Igarashi , Naoki Kobayashi Type-Based Analysis of Communication for Concurrent Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Chiara Bodei , Corrado Priami True Concurrency via Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Mackie Static Analysis of Interaction Nets for Distributed Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Suresh Jagannathan , Stephen Weeks , Andrew K. Wright Type-Directed Flow Analysis for Typed Intermediate Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Mossin Exact Flow Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Frey Satisfying Subtype Inequalities in Polynomial Space. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Granger Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Luke Hornof , Charles Consel , Jacques Noyé Effective Specialization of Realistic Programs via Use Sensitivity. [Citation Graph (0, 0)][DBLP ] Conf ] Gang-Ryung Uh , David B. Whalley Coalescing Conditional Branches into Efficient Indirect Jumps. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Brauburger Automatic Termination Analysis for Partial Functions Using Polynomial Orderings. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Eric Panitz , Manfred Schmidt-Schauß TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel G. Emelianov , Danil E. Baburin Semantic Analyzer of Modula-Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Dante Baldan , Gilberto Filé Abstract Interpretation from Improving WAM Code. [Citation Graph (0, 0)][DBLP ] Conf ] Loïc Correnson , Étienne Duris , Didier Parigot , Gilles Roussel Attribute Grammars and Functional Programming Deforestation. [Citation Graph (0, 0)][DBLP ] Conf ] Stanislav Tzolovski Data Dependence as Abstract Interpretations. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Marriott Abstract Interpretation: A Theory of Approximate Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Baudouin Le Charlier , Pierre Flener On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Cousot Abstract Interpretation Based Static Analysis Parameterized by Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Luddy Harrison Can Abstract Interpretation Become a Mainstream Compiler Technology? (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Neil D. Jones Combining Abstract Interpretation and Partial Evaluation (Brief Overview). [Citation Graph (0, 0)][DBLP ] Conf ] Barbara G. Ryder Practical Compile-Time Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] 