Conferences in DBLP
Alexander Aiken Constraint-Based Program Analysis (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Nielson Semantics-Directed Program Analysis: A Tool-Maker's Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Steffen Property-Oriented Expansion. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Alstrup , Peter W. Lauridsen , Mikkel Thorup Generalized Dominators for Structured Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Alt , Christian Ferdinand , Florian Martin , Reinhard Wilhelm Cache Behavior Prediction by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Holst Andersen , Carsten Kehler Holst Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Maurizio Gabbrielli , Catuscia Palamidessi Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Roberta Borgia , Pierpaolo Degano , Corrado Priami , Lone Leth , Bent Thomsen Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Brauburger , Jürgen Giesl Termination Analysis for Partial Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Bruynooghe , Bart Demoen , Dmitri Boulanger , Marc Denecker , Anne Mulkers A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Coppo , Ferruccio Damiani , Paola Giannini Refinement Types for Program Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Lobel Crnogorac , Andrew D. Kelly , Harald Søndergaard A Comparison of Three Occur-Check Analysers. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel G. Emeljanov Analysis of the Equality Relations for the Program Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Fecht , Helmut Seidl An Even Faster Solver for General Systems of Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Givan Inferring Program Specifications in Polynomial-Time. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Müller 0002 , Thomas Glaß , Karl Stroetmann Automated Modular Termination Proofs for Real Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Hemant D. Pande , Barbara G. Ryder Data-Flow-Based Virtual Function Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Ross Paterson Compiling Laziness Using Projections. [Citation Graph (0, 0)][DBLP ] Conf ] Germán Puebla , Manuel V. Hermenegildo Optimized Algorithms for Incremental Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jakob Rehof , Torben Æ. Mogensen Tractable Constraints in Finite Semilattices. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Roux , Vlad Rusu Uniformity for the Decidability of Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Schoenig , Mireille Ducassé A Backward Slicing Algorithm for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor Snelting Combining Slicing and Constraint Solving for Validation of Measurement Software. [Citation Graph (0, 0)][DBLP ] Conf ] Valery Trifonov , Scott F. Smith Subtyping Constrained Types. [Citation Graph (0, 0)][DBLP ] Conf ] Arnaud Venet Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Handjieva STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew D. Kelly , Kim Marriott , Harald Søndergaard , Peter J. Stuckey Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Müller 0002 , Thomas Glaß , Karl Stroetmann PAN - The Prolog Analyzer. [Citation Graph (0, 0)][DBLP ] Conf ] 