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},
  title     = {Abstract Interpretation Based Semantics of Sequent Calculi},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {38--57},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/BensalemBFGL00,
  author    = {Saddek Bensalem and
               Marius Bozga and
               Jean{-}Claude Fernandez and
               Lucian Ghirvu and
               Yassine Lakhnech},
  title     = {A Transformational Approach for Generating Non-linear Invariants},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {58--74},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/ChinKHT00,
  author    = {Wei{-}Ngan Chin and
               Siau{-}Cheng Khoo and
               Zhenjiang Hu and
               Masato Takeichi},
  title     = {Deriving Parallel Codes via Invariants},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {75--94},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/ClarkHH00,
  author    = {David Clark and
               Chris Hankin and
               Sebastian Hunt},
  title     = {Safety of Strictness Analysis via Term Graph Rewriting},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {95--114},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/DorRS00,
  author    = {Nurit Dor and
               Michael Rodeh and
               Shmuel Sagiv},
  title     = {Checking Cleanness in Linked Lists},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {115--134},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/Feret00,
  author    = {J{\'{e}}r{\^{o}}me Feret},
  title     = {Confidentiality Analysis of Mobile Systems},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {135--154},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/FinkKS00,
  author    = {Stephen J. Fink and
               Kathleen Knobe and
               Vivek Sarkar},
  title     = {Unified Analysis of Array and Object References in Strongly Typed
               Languages},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {155--174},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/FosterFA00,
  author    = {Jeffrey S. Foster and
               Manuel F{\"{a}}hndrich and
               Alexander Aiken},
  title     = {Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis
               for {C}},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {175--198},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/GagnonHM00,
  author    = {Etienne Gagnon and
               Laurie J. Hendren and
               Guillaume Marceau},
  title     = {Efficient Inference of Static Types for Java Bytecode},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {199--219},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/HenzingerMMR00,
  author    = {Thomas A. Henzinger and
               Rupak Majumdar and
               Freddy Y. C. Mang and
               Jean{-}Fran{\c{c}}ois Raskin},
  title     = {Abstract Interpretation of Game Properties},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {220--239},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/Jackson00,
  author    = {Daniel Jackson},
  title     = {Enforcing Design Constraints with Object Logic},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {1--21},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/JaramilloGS00,
  author    = {Clara Jaramillo and
               Rajiv Gupta and
               Mary Lou Soffa},
  title     = {{FULLDOC:} {A} Full Reporting Debugger for Optimized Code},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {240--259},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/KnoopCJ00,
  author    = {Jens Knoop and
               Jean{-}Francois Collard and
               Roy Dz{-}Ching Ju},
  title     = {Partial Redundancy Elimination on Predicated Code},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {260--279},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/Lev-AmiS00,
  author    = {Tal Lev{-}Ami and
               Shmuel Sagiv},
  title     = {{TVLA:} {A} System for Implementing Static Analyses},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {280--301},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/Mauborgne00,
  author    = {Laurent Mauborgne},
  title     = {Tree Schemata and Fair Termination},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {302--321},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/Monniaux00,
  author    = {David Monniaux},
  title     = {Abstract Interpretation of Probabilistic Semantics},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {322--339},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/MuthWD00,
  author    = {Robert Muth and
               Scott A. Watterson and
               Saumya K. Debray},
  title     = {Code Specialization Based on Value Profiles},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {340--359},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/Podelski00,
  author    = {Andreas Podelski},
  title     = {Model Checking as Constraint Solving},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {22--37},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/RielyP00,
  author    = {James Riely and
               Jan F. Prins},
  title     = {Flattening Is an Improvement},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {360--376},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/Saidi00,
  author    = {Hassen Sa{\"{\i}}di},
  title     = {Model Checking Guided Abstraction and Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {377--396},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/Scozzari00,
  author    = {Francesca Scozzari},
  title     = {Abstract Domains for Sharing Analysis by Optimal Semantics},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {397--412},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/sas/UngureanuJ00,
  author    = {Cristian Ungureanu and
               Suresh Jagannathan},
  title     = {Concurrency Analysis for Java},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1824},
  pages     = {413--432},
  publisher = {Springer},
  year      = {2000}
}
@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics