Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sas/BagnaraGHZ01,
  author    = {Roberto Bagnara and
               Roberta Gori and
               Patricia M. Hill and
               Enea Zaffanella},
  title     = {Finite-Tree Analysis for Constraint Logic-Based Languages},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {165--184},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/BertranBCN01,
  author    = {Miquel Bertran and
               Francesc{-}Xavier Babot and
               August Climent and
               Miquel Nicolau},
  title     = {Communication and Parallelism Introduction and Elimination in Imperative
               Concurrent Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {20--39},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/Blanchet01,
  author    = {Bruno Blanchet},
  title     = {Abstracting Cryptographic Protocols by Prolog Rules},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {433--436},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/BouajjaniCLS01,
  author    = {Ahmed Bouajjani and
               Aurore Collomb{-}Annichini and
               Yassine Lakhnech and
               Mihaela Sighireanu},
  title     = {Analyzing Fair Parametric Extended Automata},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {335--355},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/DasLFR01,
  author    = {Manuvir Das and
               Ben Liblit and
               Manuel F{\"{a}}hndrich and
               Jakob Rehof},
  title     = {Estimating the Impact of Scalable Pointer Analysis on Optimization},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {260--278},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/DorRS01,
  author    = {Nurit Dor and
               Michael Rodeh and
               Shmuel Sagiv},
  title     = {Cleanness Checking of String Manipulations in {C} Programs via Integer
               Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {194--212},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/Feret01,
  author    = {J{\'{e}}r{\^{o}}me Feret},
  title     = {Abstract Interpretation-Based Static Analysis of Mobile Ambients},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {412--430},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/GiacobazziQ01,
  author    = {Roberto Giacobazzi and
               Elisa Quintarelli},
  title     = {Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {356--373},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/GlynnSS01,
  author    = {Kevin Glynn and
               Peter J. Stuckey and
               Martin Sulzmann},
  title     = {Effective Strictness Analysis with {HORN} Constraints},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {73--92},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/GordonJ01,
  author    = {Andrew D. Gordon and
               Alan Jeffrey},
  title     = {A Type and Effect Analysis of Security Protocols},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {432--432},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/Goubault01,
  author    = {Eric Goubault},
  title     = {Static Analyses of the Precision of Floating-Point Operations},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {234--259},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/KomondoorH01,
  author    = {Raghavan Komondoor and
               Susan Horwitz},
  title     = {Using Slicing to Identify Duplication in Source Code},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {40--56},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/Leino01,
  author    = {K. Rustan M. Leino},
  title     = {Applications of Extended Static Checking},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {185--193},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/LeviM01,
  author    = {Francesca Levi and
               Sergio Maffeis},
  title     = {An Abstract Interpretation Framework for Analysing Mobile Ambients},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {395--411},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/LiangH01,
  author    = {Donglin Liang and
               Mary Jean Harrold},
  title     = {Efficient Computation of Parameterized Pointer Information for Interprocedural
               Analyses},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {279--298},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/LiuLS01,
  author    = {Yanhong A. Liu and
               Ning Li and
               Scott D. Stoller},
  title     = {Solving Regular Tree Grammar Based Constraints},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {213--233},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/Lu01,
  author    = {Lunjin Lu},
  title     = {Parameterizing a Groundness Analysis of Logic Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {146--164},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/MesnardN01,
  author    = {Fr{\'{e}}d{\'{e}}ric Mesnard and
               Ulrich Neumerkel},
  title     = {Applying Static Analysis Techniques for Inferring Termination Conditions
               of Logic Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {93--110},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/Monniaux01,
  author    = {David Monniaux},
  title     = {An Abstract Analysis of the Probabilistic Termination of Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {111--126},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/Myers01,
  author    = {Andrew C. Myers},
  title     = {Security-Typed Languages and Distributed Computation},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {437--438},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/RajamaniR01,
  author    = {Sriram K. Rajamani and
               Jakob Rehof},
  title     = {A Behavioral Module System for the Pi-Calculus},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {375--394},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/Rinard01,
  author    = {Martin C. Rinard},
  title     = {Analysis of Multithreaded Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {1--19},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/Schneider01,
  author    = {Fred B. Schneider},
  title     = {Language-Based Security: What's Needed and Why},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {374},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/SharpM01,
  author    = {Richard Sharp and
               Alan Mycroft},
  title     = {Soft Scheduling for Hardware},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {57--72},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/SidorovaS01,
  author    = {Natalia Sidorova and
               Martin Steffen},
  title     = {Embedding Chaos},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {319--334},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/Spoto01,
  author    = {Fausto Spoto},
  title     = {Watchpoint Semantics: {A} Tool for Compositional and Focussed Static
               Analyses},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {127--145},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/Wagner01,
  author    = {David A. Wagner},
  title     = {Static Analysis and Software Assurance},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {431},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/sas/WangY01,
  author    = {Farn Wang and
               Hsu{-}Chun Yen},
  title     = {Parametric Optimization of Open Real-Time Systems},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  pages     = {299--318},
  publisher = {Springer},
  year      = {2001}
}
@proceedings{DBLP:conf/sas/2001,
  editor    = {Patrick Cousot},
  title     = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
               July 16-18, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  publisher = {Springer},
  year      = {2001}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics