Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sas/AmatoL00,
  author       = {Gianluca Amato and
                  Giorgio Levi},
  editor       = {Jens Palsberg},
  title        = {Abstract Interpretation Based Semantics of Sequent Calculi},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {38--57},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_3},
  doi          = {10.1007/978-3-540-45099-3\_3},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/AmatoL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BensalemBFGL00,
  author       = {Saddek Bensalem and
                  Marius Bozga and
                  Jean{-}Claude Fernandez and
                  Lucian Ghirvu and
                  Yassine Lakhnech},
  editor       = {Jens Palsberg},
  title        = {A Transformational Approach for Generating Non-linear Invariants},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {58--74},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_4},
  doi          = {10.1007/978-3-540-45099-3\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BensalemBFGL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ChinKHT00,
  author       = {Wei{-}Ngan Chin and
                  Siau{-}Cheng Khoo and
                  Zhenjiang Hu and
                  Masato Takeichi},
  editor       = {Jens Palsberg},
  title        = {Deriving Parallel Codes via Invariants},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {75--94},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_5},
  doi          = {10.1007/978-3-540-45099-3\_5},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ChinKHT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ClarkHH00,
  author       = {David Clark and
                  Chris Hankin and
                  Sebastian Hunt},
  editor       = {Jens Palsberg},
  title        = {Safety of Strictness Analysis via Term Graph Rewriting},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {95--114},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_6},
  doi          = {10.1007/978-3-540-45099-3\_6},
  timestamp    = {Thu, 29 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/ClarkHH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/DorRS00,
  author       = {Nurit Dor and
                  Michael Rodeh and
                  Shmuel Sagiv},
  editor       = {Jens Palsberg},
  title        = {Checking Cleanness in Linked Lists},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {115--134},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_7},
  doi          = {10.1007/978-3-540-45099-3\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/DorRS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Feret00,
  author       = {J{\'{e}}r{\^{o}}me Feret},
  editor       = {Jens Palsberg},
  title        = {Confidentiality Analysis of Mobile Systems},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {135--154},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_8},
  doi          = {10.1007/978-3-540-45099-3\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Feret00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/FinkKS00,
  author       = {Stephen J. Fink and
                  Kathleen Knobe and
                  Vivek Sarkar},
  editor       = {Jens Palsberg},
  title        = {Unified Analysis of Array and Object References in Strongly Typed
                  Languages},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {155--174},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_9},
  doi          = {10.1007/978-3-540-45099-3\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/FinkKS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/FosterFA00,
  author       = {Jeffrey S. Foster and
                  Manuel F{\"{a}}hndrich and
                  Alexander Aiken},
  editor       = {Jens Palsberg},
  title        = {Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis
                  for {C}},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {175--198},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_10},
  doi          = {10.1007/978-3-540-45099-3\_10},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/FosterFA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GagnonHM00,
  author       = {Etienne Gagnon and
                  Laurie J. Hendren and
                  Guillaume Marceau},
  editor       = {Jens Palsberg},
  title        = {Efficient Inference of Static Types for Java Bytecode},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {199--219},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_11},
  doi          = {10.1007/978-3-540-45099-3\_11},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/GagnonHM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/HenzingerMMR00,
  author       = {Thomas A. Henzinger and
                  Rupak Majumdar and
                  Freddy Y. C. Mang and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Jens Palsberg},
  title        = {Abstract Interpretation of Game Properties},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {220--239},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_12},
  doi          = {10.1007/978-3-540-45099-3\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HenzingerMMR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Jackson00,
  author       = {Daniel Jackson},
  editor       = {Jens Palsberg},
  title        = {Enforcing Design Constraints with Object Logic},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_1},
  doi          = {10.1007/978-3-540-45099-3\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Jackson00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/JaramilloGS00,
  author       = {Clara Jaramillo and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Jens Palsberg},
  title        = {{FULLDOC:} {A} Full Reporting Debugger for Optimized Code},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {240--259},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_13},
  doi          = {10.1007/978-3-540-45099-3\_13},
  timestamp    = {Mon, 26 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/JaramilloGS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/KnoopCJ00,
  author       = {Jens Knoop and
                  Jean{-}Francois Collard and
                  Roy Dz{-}Ching Ju},
  editor       = {Jens Palsberg},
  title        = {Partial Redundancy Elimination on Predicated Code},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {260--279},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_14},
  doi          = {10.1007/978-3-540-45099-3\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/KnoopCJ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Lev-AmiS00,
  author       = {Tal Lev{-}Ami and
                  Shmuel Sagiv},
  editor       = {Jens Palsberg},
  title        = {{TVLA:} {A} System for Implementing Static Analyses},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {280--301},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_15},
  doi          = {10.1007/978-3-540-45099-3\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Lev-AmiS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Mauborgne00,
  author       = {Laurent Mauborgne},
  editor       = {Jens Palsberg},
  title        = {Tree Schemata and Fair Termination},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {302--321},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_16},
  doi          = {10.1007/978-3-540-45099-3\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Mauborgne00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Monniaux00,
  author       = {David Monniaux},
  editor       = {Jens Palsberg},
  title        = {Abstract Interpretation of Probabilistic Semantics},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {322--339},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_17},
  doi          = {10.1007/978-3-540-45099-3\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Monniaux00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/MuthWD00,
  author       = {Robert Muth and
                  Scott A. Watterson and
                  Saumya K. Debray},
  editor       = {Jens Palsberg},
  title        = {Code Specialization Based on Value Profiles},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {340--359},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_18},
  doi          = {10.1007/978-3-540-45099-3\_18},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/MuthWD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Podelski00,
  author       = {Andreas Podelski},
  editor       = {Jens Palsberg},
  title        = {Model Checking as Constraint Solving},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {22--37},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_2},
  doi          = {10.1007/978-3-540-45099-3\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Podelski00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/RielyP00,
  author       = {James Riely and
                  Jan F. Prins},
  editor       = {Jens Palsberg},
  title        = {Flattening Is an Improvement},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {360--376},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_19},
  doi          = {10.1007/978-3-540-45099-3\_19},
  timestamp    = {Wed, 24 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/RielyP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Saidi00,
  author       = {Hassen Sa{\"{\i}}di},
  editor       = {Jens Palsberg},
  title        = {Model Checking Guided Abstraction and Analysis},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {377--396},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_20},
  doi          = {10.1007/978-3-540-45099-3\_20},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Saidi00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Scozzari00,
  author       = {Francesca Scozzari},
  editor       = {Jens Palsberg},
  title        = {Abstract Domains for Sharing Analysis by Optimal Semantics},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {397--412},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_21},
  doi          = {10.1007/978-3-540-45099-3\_21},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Scozzari00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/UngureanuJ00,
  author       = {Cristian Ungureanu and
                  Suresh Jagannathan},
  editor       = {Jens Palsberg},
  title        = {Concurrency Analysis for Java},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {413--432},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_22},
  doi          = {10.1007/978-3-540-45099-3\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/UngureanuJ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sas/2000,
  editor       = {Jens Palsberg},
  title        = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/b87738},
  doi          = {10.1007/B87738},
  isbn         = {3-540-67668-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/2000.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.