@comment{This file has been generated by Pybliographer}

@InProceedings{De94,
  Author         = {A. Deutsch},
  Title          = {Interprocedural may-alias analysis for pointers:
                   beyond \mbox{k-limiting}},
  BookTitle      = {PLDI'94},
  Pages          = {230--241},
  year           = 1994
}

@InProceedings{Co04,
  Author         = {R. C. Clarisó and J. Cortadella},
  Title          = {Verification of parametric timed circuits using
                   octahedra},
  BookTitle      = {Designing correct circuits, DCC'04},
  Address        = {Barcelona},
  year           = 2004
}


@InProceedings{Se02,
  Author         = {R. Seater and D. Wonnacott},
  Title          = {Efficient {M}anipulation of {D}isequalities {D}uring
                   {D}ependence {A}nalysis},
  BookTitle      = {LCPC'02: Proceedings of the 15th international
                   workshop on {L}anguages and {C}ompilers for {P}arallel
                   {C}omputing},
  Volume         = {2481},
  Pages          = {295-308},
  localcopy      = {file:///home/peron/commons/papers/2002/lcpc/se02.ps},
  month          = dec,
  year           = 2002
}

@InProceedings{Si93,
  Author         = {K. Simon and D. Crippa and F. Collenberg},
  Title          = {On the Distribution of the Transitive Closure in a
                   Random Acyclic Digraph},
  BookTitle      = {ESA'93},
  Pages          = {345--356},
  Publisher      = {Springer-Verlag},
  localcopy      = {file:///home/peron/commons/papers/1993/si93.ps},
  isbn           = {3-540-57273-2},
  year           = 1993
}

@InProceedings{Ma93,
  Author         = {F. Masdupuy},
  Title          = {Semantic Analysis of Interval Congruences},
  BookTitle      = {International Conference on Formal Methods in
                   Programming and Their Applications},
  Pages          = {142--155},
  year           = 1993
}

@Article{La98,
  Author         = {K. G. Larsen and J. Pearson and C. Weise and W. Yi},
  Title          = {Clock difference diagrams},
  Journal        = {Nordic J. of Computing},
  Volume         = {6},
  Number         = {3},
  Pages          = {271--298},
  localcopy      = {file:///home/peron/commons/papers/1998/la98.pdf},
  issn           = {1236-6064},
  publisher      = {Publishing Association Nordic Journal of Computing},
  year           = 1999
}

@InProceedings{CoHa78,
  Author         = {P. Cousot and N. Halbwachs},
  Title          = {Automatic discovery of linear restraints among
                   variables of a program},
  BookTitle      = {POPL'78},
  Pages          = {84--96},
  month          = {January},
  year           = 1978
}

@InProceedings{Co76,
  Author         = {P. Cousot and R. Cousot},
  Title          = {Static determination of dynamic properties of programs},
  BookTitle      = {2nd Int. Symp. on Programming},
  Pages          = {106--130},
  Publisher      = {Dunod, Paris, France},
  year           = 1976
}

@Article{Ka76,
  Author         = {M. Karr},
  Title          = {Affine Relationships Among Variables of a Program},
  Journal        = {Acta Informatica},
  Volume         = {6},
  Pages          = {133-151},
  year           = 1976
}

@InProceedings{Gr91,
  Author         = {P. Granger},
  Title          = {Static analysis of linear congruence equalities among
                   variables of a program},
  BookTitle      = {CAAP'91},
  Pages          = {169--192},
  year           = 1991
}

@InProceedings{Im93,
  Author         = {J.-L. Imbert},
  Title          = {Variable Elimination for Generalized Linear
                   Constraints.},
  BookTitle      = {ICLP'93},
  Pages          = {499-516},
  localcopy      = {file:///home/peron/commons/papers/1993/im93.ps},
  year           = 1993
}

@InProceedings{Mi02,
  Author         = {A. Min\'e},
  Title          = {A Few Graph-Based Relational Numerical Abstract
                   Domains},
  BookTitle      = {SAS'02},
  Pages          = {117--132},
  Address        = {London, UK},
  Publisher      = {Springer-Verlag},
  localcopy      = {file:///home/peron/commons/papers/2002/sas/mi02.pdf},
  isbn           = {3-540-44235-9},
  year           = 2002
}

@InProceedings{Ma05,
  Author         = {L. Mauborgne and X. Rival},
  Title          = {Trace partitioning in abstract interpretation based
                   static analyzers},
  BookTitle      = {ESOP'05},
  Address        = {Edinburgh},
  month          = apr,
  year           = 2005
}

@InProceedings{Bo93,
  Author         = {F. Bourdoncle},
  Title          = {Abstract debugging of higher-order imperative
                   languages},
  BookTitle      = {PLDI'93},
  Pages          = {46--55},
  Address        = {New York},
  year           = 1993
}

@InProceedings{Pu98,
  Author         = {J.-F. Puget},
  Title          = {A fast algorithm for the bound consistency of alldiff
                   constraints},
  BookTitle      = {AAAI'98/IAAI'98: Proceedings of the fifteenth
                   national/tenth conference on Artificial
                   intelligence/Innovative applications of artificial
                   intelligence},
  Pages          = {359--366},
  Address        = {Menlo Park, CA, USA},
  Publisher      = {American Association for Artificial Intelligence},
  isbn           = {0-262-51098-7},
  location       = {Madison, Wisconsin, United States},
  year           = 1998
}

@InProceedings{Mo99,
  Author         = {M\o{}ller, J. B. and Lichtenberg, J. and Andersen, H.
                   R. and Hulgaard, H.},
  Title          = {Difference Decision Diagrams},
  BookTitle      = {CSL'99},
  Pages          = {111--125},
  Publisher      = {Springer-Verlag},
  year           = 1999
}

@InProceedings{Mi01,
  Author         = {A. Min\'e},
  Title          = {The Octagon Abstract Domain},
  BookTitle      = {AST 2001 in WCRE 2001},
  Pages          = {310--319},
  Publisher      = {IEEE CS Press},
  localcopy      = {file:///home/peron/commons/papers/2001/ast/mi01.ps},
  Series         = {IEEE},
  month          = {October},
  year           = 2001
}

@Article{Ha03,
  Author         = {W. Harvey and P. J. Stuckey},
  Title          = {Improving Linear Constraint Propagation by Changing
                   Constraint Representation},
  Journal        = {Constraints},
  Volume         = {8},
  Number         = {2},
  Pages          = {173--207},
  address        = {Hingham, MA, USA},
  doi            = {http://dx.doi.org/10.1023/A:1022323717928},
  issn           = {1383-7133},
  publisher      = {Kluwer Academic Publishers},
  year           = 2003
}

@InProceedings{Ha97,
  Author         = {W. Harvey and P. J. Stuckey},
  Title          = {A Unit Two Variable Per Inequality Integer Constraint
                   Solver for Constraint Logic Programming},
  BookTitle      = {Twentieth Australasian Computer Science Conference,
                   ACSC'97},
  Pages          = {102--111},
  month          = feb,
  year           = 1997
}


@Article{LaAl92,
  Author         = {J.-L. Lassez and K. McAloon},
  Title          = {A canonical form for generalized linear constraints},
  Journal        = {J. Symb. Comput.},
  Volume         = {13},
  Number         = {1},
  Pages          = {1--24},
  address        = {Duluth, MN, USA},
  doi            = {http://dx.doi.org/10.1016/0747-7171(92)90002-L},
  issn           = {0747-7171},
  publisher      = {Academic Press, Inc.},
  year           = 1992
}

@InProceedings{Sa06,
  Author         = {S. Sankaranarayanan and F. Ivan\v{c}i\'c and I.
                   Shlyakhter and A. Gupta},
  Title          = {Static analysis in disjunctive numerical domains},
  BookTitle      = {SAS'06},
  Address        = {Seoul, Korea},
  month          = aug,
  year           = 2006
}

@InProceedings{Je99,
  Author         = {B. Jeannet and N. Halbwachs and P. Raymond},
  Title          = {Dynamic Partitioning in Analyses of Numerical
                   Properties},
  BookTitle      = {SAS'99},
  Address        = {Venezia},
  month          = sep,
  year           = 1999
}

@Article{PuWo98,
  Author         = {W. Pugh and D. Wonnacott},
  Title          = {Constraint-based array dependence analysis},
  Journal        = {TOPLAS},
  Volume         = {20},
  Number         = {3},
  Pages          = {635--678},
  localcopy      = {file:///home/peron/commons/papers/1998/toplas/pu98.ps},
  address        = {New York, NY, USA},
  issn           = {0164-0925},
  publisher      = {ACM Press},
  year           = 1998
}

@InProceedings{Ko79,
  Author         = {A. Goralcikov{\'a} and V. Koubek},
  Title          = {A Reduct-and-Closure Algorithm for Graphs.},
  BookTitle      = {MFCS},
  Pages          = {301-307},
  year           = 1979
}

@Book{Co90,
  Author         = {T. H. Cormen and C. E. Leiserson and R. L. Rivest and
                   C. Stein},
  Title          = {Introduction to Algorithms},
  Publisher      = {The MIT Press, Cambridge, Massachusetts},
  year           = 1990
}

@InProceedings{Di89,
  Author         = {D. L. Dill},
  Title          = {Timing Assumptions and Verification of Finite-State
                   Concurrent Systems.},
  BookTitle      = {Automatic Verification Methods for Finite State
                   Systems},
  Pages          = {197-212},
  Publisher      = {LNCS 407, Springer-Verlag},
  year           = 1989
}

@Article{Al93,
  Author         = {R. Alur and C. Courcoubetis and D.L. Dill},
  Title          = {Model-checking in dense real-time},
  Journal        = {Information and Computation},
  Volume         = {104},
  Number         = {1},
  Pages          = {2--34},
  year           = 1993
}

@Article{Si88,
  Author         = {K. Simon},
  Title          = {An improved algorithm for transitive closure on
                   acyclic digraphs},
  Journal        = {TCS},
  Volume         = {58},
  Number         = {1-3},
  Pages          = {325--346},
  address        = {Essex, UK},
  issn           = {0304-3975},
  publisher      = {Elsevier Science Publishers Ltd.},
  year           = 1988
}

@Misc{Nbac,
  Author         = {B. Jeannet},
  Title          = {The {NBAC} verification/slicing tool},
  Note           = {\\ {\tt
                   http://www.inrialpes.fr/pop-art/people/bjeannet/nbac/}},
  key            = {Nbac}
}

@InProceedings{Hu80,
  Author         = {D. J. Rosenkrantz and H. B. {Hunt III}},
  Title          = {Processing Conjunctive Predicates and Queries},
  BookTitle      = {VLDB},
  Pages          = {64-72},
  year           = 1980
}