Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sas/AldrichCSE99,
  author       = {Jonathan Aldrich and
                  Craig Chambers and
                  Emin G{\"{u}}n Sirer and
                  Susan J. Eggers},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Static Analyses for Eliminating Unnecessary Synchronization from Java
                  Programs},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {19--38},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_2},
  doi          = {10.1007/3-540-48294-6\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/AldrichCSE99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Asai99,
  author       = {Kenichi Asai},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Binding-Time Analysis for Both Static and Dynamic Expressions},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {117--133},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_8},
  doi          = {10.1007/3-540-48294-6\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Asai99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BessonJT99,
  author       = {Fr{\'{e}}d{\'{e}}ric Besson and
                  Thomas P. Jensen and
                  Jean{-}Pierre Talpin},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Polyhedral Analysis for Synchronous Languages},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {51--68},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_4},
  doi          = {10.1007/3-540-48294-6\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BessonJT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BozgaFG99,
  author       = {Marius Bozga and
                  Jean{-}Claude Fernandez and
                  Lucian Ghirvu},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {State Space Reduction Based on Live Variables Analysis},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {164--178},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_11},
  doi          = {10.1007/3-540-48294-6\_11},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BozgaFG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/CansellM99,
  author       = {Dominique Cansell and
                  Dominique M{\'{e}}ry},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Abstract Animator for Temporal Specifications: Application to {TLA}},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {284--299},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_18},
  doi          = {10.1007/3-540-48294-6\_18},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/CansellM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/CorrensonDPR99,
  author       = {Lo{\"{\i}}c Correnson and
                  {\'{E}}tienne Duris and
                  Didier Parigot and
                  Gilles Roussel},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Equational Semantics},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {264--283},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_17},
  doi          = {10.1007/3-540-48294-6\_17},
  timestamp    = {Mon, 06 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/CorrensonDPR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/HansenJNN99,
  author       = {Ren{\'{e}} Rydhof Hansen and
                  Jacob Grydholt Jensen and
                  Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Abstract Interpretation of Mobile Ambients},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {134--148},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_9},
  doi          = {10.1007/3-540-48294-6\_9},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HansenJNN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/HatcliffCDSZ99,
  author       = {John Hatcliff and
                  James C. Corbett and
                  Matthew B. Dwyer and
                  Stefan Sokolowski and
                  Hongjun Zheng},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {A Formal Study of Slicing for Multi-threaded Programs with {JVM} Concurrency
                  Primitives},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_1},
  doi          = {10.1007/3-540-48294-6\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HatcliffCDSZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/HillS99,
  author       = {Patricia M. Hill and
                  Fausto Spoto},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Freeness Analysis Through Linear Refinement},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {85--100},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_6},
  doi          = {10.1007/3-540-48294-6\_6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HillS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/JeannetHR99,
  author       = {Bertrand Jeannet and
                  Nicolas Halbwachs and
                  Pascal Raymond},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Dynamic Partitioning in Analyses of Numerical Properties},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {39--50},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_3},
  doi          = {10.1007/3-540-48294-6\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/JeannetHR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/KollerM99,
  author       = {J{\"{o}}rg K{\"{o}}ller and
                  Markus Mohnen},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {A New Class of Functions for Abstract Interpretation},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {248--263},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_16},
  doi          = {10.1007/3-540-48294-6\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/KollerM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LiuS99,
  author       = {Yanhong A. Liu and
                  Scott D. Stoller},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Eliminating Dead Code on Recursive Data},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {211--231},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_14},
  doi          = {10.1007/3-540-48294-6\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LiuS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Mauborgne99,
  author       = {Laurent Mauborgne},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Binary Decision Graphs},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {101--116},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_7},
  doi          = {10.1007/3-540-48294-6\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Mauborgne99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/McAllester99,
  author       = {David A. McAllester},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {On the Complexity Analysis of Static Analyses},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {312--329},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_21},
  doi          = {10.1007/3-540-48294-6\_21},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/McAllester99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Monniaux99,
  author       = {David Monniaux},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Abstracting Cryptographic Protocols with Tree Automata},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {149--163},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_10},
  doi          = {10.1007/3-540-48294-6\_10},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Monniaux99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Muller-OlmSS99,
  author       = {Markus M{\"{u}}ller{-}Olm and
                  David A. Schmidt and
                  Bernhard Steffen},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Model-Checking: {A} Tutorial Introduction},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {330--354},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_22},
  doi          = {10.1007/3-540-48294-6\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Muller-OlmSS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/RuthingKS99,
  author       = {Oliver R{\"{u}}thing and
                  Jens Knoop and
                  Bernhard Steffen},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Detecting Equalities of Variables: Combining Efficiency with Precision},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {232--247},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_15},
  doi          = {10.1007/3-540-48294-6\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/RuthingKS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Soffa99,
  author       = {Mary Lou Soffa},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Tutorial: Techniques to Improve the Scalability and Precision of Data
                  Flow Analysis},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {355--356},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_23},
  doi          = {10.1007/3-540-48294-6\_23},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Soffa99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SreedharJGS99,
  author       = {Vugranam C. Sreedhar and
                  Roy Dz{-}Ching Ju and
                  David M. Gillies and
                  Vatsa Santhanam},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Translating Out of Static Single Assignment Form},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {194--210},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_13},
  doi          = {10.1007/3-540-48294-6\_13},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/SreedharJGS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/TakimotoH99,
  author       = {Munehiro Takimoto and
                  Kenichi Harada},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Partial Dead Code Elimination Using Extended Value Graph},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_12},
  doi          = {10.1007/3-540-48294-6\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/TakimotoH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Volpano99,
  author       = {Dennis M. Volpano},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Safety versus Secrecy},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {303--311},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_20},
  doi          = {10.1007/3-540-48294-6\_20},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Volpano99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Weise99,
  author       = {Daniel Weise},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Static Analysis of Mega-Programs},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {300--302},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_19},
  doi          = {10.1007/3-540-48294-6\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Weise99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ZaffanellaHB99,
  author       = {Enea Zaffanella and
                  Patricia M. Hill and
                  Roberto Bagnara},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Decomposing Non-redundant Sharing by Complementation},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {69--84},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_5},
  doi          = {10.1007/3-540-48294-6\_5},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ZaffanellaHB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sas/1999,
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6},
  doi          = {10.1007/3-540-48294-6},
  isbn         = {3-540-66459-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/1999.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.