Search dblp for Publications

export results for "toc:db/conf/sas/sas2002.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sas/AdamsBDLRSW02,
  author       = {Stephen Adams and
                  Thomas Ball and
                  Manuvir Das and
                  Sorin Lerner and
                  Sriram K. Rajamani and
                  Mark Seigle and
                  Westley Weimer},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {230--246},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_18},
  doi          = {10.1007/3-540-45789-5\_18},
  timestamp    = {Wed, 03 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/AdamsBDLRSW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BagnaraRZH02,
  author       = {Roberto Bagnara and
                  Elisa Ricci and
                  Enea Zaffanella and
                  Patricia M. Hill},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {213--229},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_17},
  doi          = {10.1007/3-540-45789-5\_17},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BagnaraRZH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Blanchet02,
  author       = {Bruno Blanchet},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {From Secrecy to Authenticity in Security Protocols},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {342--359},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_25},
  doi          = {10.1007/3-540-45789-5\_25},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Blanchet02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BruynoogheCGV02,
  author       = {Maurice Bruynooghe and
                  Michael Codish and
                  Samir Genaim and
                  Wim Vanhoof},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Reuse of Results in Termination Analysis of Typed Logic Programs},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {477--492},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_33},
  doi          = {10.1007/3-540-45789-5\_33},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/BruynoogheCGV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/CorinE02,
  author       = {Ricardo Corin and
                  Sandro Etalle},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {An Improved Constraint-Based System for the Verification of Security
                  Protocols},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {326--341},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_24},
  doi          = {10.1007/3-540-45789-5\_24},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/CorinE02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Esparza02,
  author       = {Javier Esparza},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {An Algebraic Approach to the Static Analysis of Concurrent Software},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {3},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_3},
  doi          = {10.1007/3-540-45789-5\_3},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Esparza02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Faxen02,
  author       = {Karl{-}Filip Fax{\'{e}}n},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Representation Analysis for Coercion Placement},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {278--293},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_21},
  doi          = {10.1007/3-540-45789-5\_21},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Faxen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GallardoMP02,
  author       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino and
                  Ernesto Pimentel},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Refinement of {LTL} Formulas for Abstract Model Checking},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {395--410},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_28},
  doi          = {10.1007/3-540-45789-5\_28},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/GallardoMP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GiacobazziR02,
  author       = {Roberto Giacobazzi and
                  Francesco Ranzato},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {States vs. Traces in Model Checking by Abstract Interpretation},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {461--476},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_32},
  doi          = {10.1007/3-540-45789-5\_32},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/GiacobazziR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Hall02,
  author       = {Robert J. Hall},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Open Modeling in Multi-stakeholder Distributed Systems: Research and
                  Tool Challenges},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {2},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_2},
  doi          = {10.1007/3-540-45789-5\_2},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Hall02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Hymans02,
  author       = {Charles Hymans},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Checking Safety Properties of Behavioral {VHDL} Descriptions by Abstract
                  Interpretation},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {444--460},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_31},
  doi          = {10.1007/3-540-45789-5\_31},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Hymans02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Jeannet02,
  author       = {Bertrand Jeannet},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Representing and Approximating Transfer Functions in Abstract Interpretation
                  of Hetereogeneous Datatypes},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {52--68},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_7},
  doi          = {10.1007/3-540-45789-5\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Jeannet02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LangenbachTH02,
  author       = {Marc Langenbach and
                  Stephan Thesing and
                  Reinhold Heckmann},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Pipeline Modeling for Timing Analysis},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {294--309},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_22},
  doi          = {10.1007/3-540-45789-5\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LangenbachTH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Lee02,
  author       = {Chin Soon Lee},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Finiteness Analysis in Polynomial Time},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {493--508},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_34},
  doi          = {10.1007/3-540-45789-5\_34},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Lee02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LuK02,
  author       = {Lunjin Lu and
                  Andy King},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Backward Type Inference Generalises Type Checking},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {85--101},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_9},
  doi          = {10.1007/3-540-45789-5\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LuK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ManevichRFGS02,
  author       = {Roman Manevich and
                  G. Ramalingam and
                  John Field and
                  Deepak Goyal and
                  Shmuel Sagiv},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Compactly Representing First-Order Structures for Static Analysis},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {196--212},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_16},
  doi          = {10.1007/3-540-45789-5\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ManevichRFGS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Martel02,
  author       = {Matthieu Martel},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Static Analysis of the Numerical Stability of Loops},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {133--150},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_12},
  doi          = {10.1007/3-540-45789-5\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Martel02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Masse02,
  author       = {Damien Mass{\'{e}}},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Semantics for Abstract Interpretation-Based Static Analyzes of Temporal
                  Properties},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {428--443},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_30},
  doi          = {10.1007/3-540-45789-5\_30},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Masse02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/MesnardPN02,
  author       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  {\'{E}}tienne Payet and
                  Ulrich Neumerkel},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Detecting Optimal Termination Conditions of Logic Programs},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {509--526},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_35},
  doi          = {10.1007/3-540-45789-5\_35},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/MesnardPN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Mine02,
  author       = {Antoine Min{\'{e}}},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {A Few Graph-Based Relational Numerical Abstract Domains},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {117--132},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_11},
  doi          = {10.1007/3-540-45789-5\_11},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Mine02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Muller-OlmS02,
  author       = {Markus M{\"{u}}ller{-}Olm and
                  Helmut Seidl},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Polynomial Constants Are Decidable},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {4--19},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_4},
  doi          = {10.1007/3-540-45789-5\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Muller-OlmS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/NielsonNS02,
  author       = {Flemming Nielson and
                  Hanne Riis Nielson and
                  Helmut Seidl},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {20--35},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_5},
  doi          = {10.1007/3-540-45789-5\_5},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/NielsonNS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/PierroHW02,
  author       = {Alessandra Di Pierro and
                  Chris Hankin and
                  Herbert Wiklicky},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Analysing Approximate Confinement under Uniform Attacks},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {310--325},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_23},
  doi          = {10.1007/3-540-45789-5\_23},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/PierroHW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Probst02,
  author       = {Christian W. Probst},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Modular Control Flow Analysis for Libraries},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {165--179},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_14},
  doi          = {10.1007/3-540-45789-5\_14},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/Probst02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/RanzatoT02,
  author       = {Francesco Ranzato and
                  Francesco Tapparo},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Making Abstract Model Checking Strongly Preserving},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {411--427},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_29},
  doi          = {10.1007/3-540-45789-5\_29},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/RanzatoT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Reps02,
  author       = {Thomas W. Reps},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Static Program Analysis via 3-Valued Logic},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {1},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_1},
  doi          = {10.1007/3-540-45789-5\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Reps02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Ruf02,
  author       = {Erik Ruf},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Improving the Precision of Equality-Based Dataflow Analyses},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {247--262},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_19},
  doi          = {10.1007/3-540-45789-5\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Ruf02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SabelfeldM02,
  author       = {Andrei Sabelfeld and
                  Heiko Mantel},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Securing Communication in a Concurrent Language},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {376--394},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_27},
  doi          = {10.1007/3-540-45789-5\_27},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/SabelfeldM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SerebrenikS02,
  author       = {Alexander Serebrenik and
                  Danny De Schreye},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {On Termination of Logic Programs with Floating Point Computations},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {151--164},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_13},
  doi          = {10.1007/3-540-45789-5\_13},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/SerebrenikS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/VaucheretB02,
  author       = {Claudio Vaucheret and
                  Francisco Bueno},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {More Precise Yet Efficient Type Inference for Logic Programs},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {102--116},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_10},
  doi          = {10.1007/3-540-45789-5\_10},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/VaucheretB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/VeldhuizenL02,
  author       = {Todd L. Veldhuizen and
                  Andrew Lumsdaine},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Guaranteed Optimization: Proving Nullspace Properties of Compilers},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {263--277},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_20},
  doi          = {10.1007/3-540-45789-5\_20},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/VeldhuizenL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Venet02,
  author       = {Arnaud Venet},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Nonuniform Alias Analysis of Recursive Data Structures and Arrays},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {36--51},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_6},
  doi          = {10.1007/3-540-45789-5\_6},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Venet02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/WhaleyL02,
  author       = {John Whaley and
                  Monica S. Lam},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed
                  Languages},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {180--195},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_15},
  doi          = {10.1007/3-540-45789-5\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/WhaleyL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Yavuz-KahveciB02,
  author       = {Tuba Yavuz{-}Kahveci and
                  Tevfik Bultan},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Automated Verification of Concurrent Linked Lists with Counters},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {69--84},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_8},
  doi          = {10.1007/3-540-45789-5\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Yavuz-KahveciB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Zanotti02,
  author       = {Mirko Zanotti},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Security Typings by Abstract Interpretation},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {360--375},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_26},
  doi          = {10.1007/3-540-45789-5\_26},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Zanotti02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sas/2002,
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5},
  doi          = {10.1007/3-540-45789-5},
  isbn         = {3-540-44235-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.