default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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},
editor = {Patrick Cousot},
title = {Finite-Tree Analysis for Constraint Logic-Based Languages},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {165--184},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_10},
doi = {10.1007/3-540-47764-0\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BagnaraGHZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BertranBCN01,
author = {Miquel Bertran and
Francesc{-}Xavier Babot and
August Climent and
Miquel Nicolau},
editor = {Patrick Cousot},
title = {Communication and Parallelism Introduction and Elimination in Imperative
Concurrent Programs},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {20--39},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_2},
doi = {10.1007/3-540-47764-0\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BertranBCN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Blanchet01,
author = {Bruno Blanchet},
editor = {Patrick Cousot},
title = {Abstracting Cryptographic Protocols by Prolog Rules},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {433--436},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_27},
doi = {10.1007/3-540-47764-0\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Blanchet01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BouajjaniCLS01,
author = {Ahmed Bouajjani and
Aurore Collomb{-}Annichini and
Yassine Lakhnech and
Mihaela Sighireanu},
editor = {Patrick Cousot},
title = {Analyzing Fair Parametric Extended Automata},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {335--355},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_19},
doi = {10.1007/3-540-47764-0\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BouajjaniCLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DasLFR01,
author = {Manuvir Das and
Ben Liblit and
Manuel F{\"{a}}hndrich and
Jakob Rehof},
editor = {Patrick Cousot},
title = {Estimating the Impact of Scalable Pointer Analysis on Optimization},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {260--278},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_15},
doi = {10.1007/3-540-47764-0\_15},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/DasLFR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DorRS01,
author = {Nurit Dor and
Michael Rodeh and
Shmuel Sagiv},
editor = {Patrick Cousot},
title = {Cleanness Checking of String Manipulations in {C} Programs via Integer
Analysis},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {194--212},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_12},
doi = {10.1007/3-540-47764-0\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/DorRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Feret01,
author = {J{\'{e}}r{\^{o}}me Feret},
editor = {Patrick Cousot},
title = {Abstract Interpretation-Based Static Analysis of Mobile Ambients},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {412--430},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_24},
doi = {10.1007/3-540-47764-0\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Feret01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GiacobazziQ01,
author = {Roberto Giacobazzi and
Elisa Quintarelli},
editor = {Patrick Cousot},
title = {Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {356--373},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_20},
doi = {10.1007/3-540-47764-0\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GiacobazziQ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GlynnSS01,
author = {Kevin Glynn and
Peter J. Stuckey and
Martin Sulzmann},
editor = {Patrick Cousot},
title = {Effective Strictness Analysis with {HORN} Constraints},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {73--92},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_5},
doi = {10.1007/3-540-47764-0\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GlynnSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GordonJ01,
author = {Andrew D. Gordon and
Alan Jeffrey},
editor = {Patrick Cousot},
title = {A Type and Effect Analysis of Security Protocols},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {432--432},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_26},
doi = {10.1007/3-540-47764-0\_26},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/GordonJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Goubault01,
author = {Eric Goubault},
editor = {Patrick Cousot},
title = {Static Analyses of the Precision of Floating-Point Operations},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {234--259},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_14},
doi = {10.1007/3-540-47764-0\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Goubault01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KomondoorH01,
author = {Raghavan Komondoor and
Susan Horwitz},
editor = {Patrick Cousot},
title = {Using Slicing to Identify Duplication in Source Code},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {40--56},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_3},
doi = {10.1007/3-540-47764-0\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/KomondoorH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Leino01,
author = {K. Rustan M. Leino},
editor = {Patrick Cousot},
title = {Applications of Extended Static Checking},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {185--193},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_11},
doi = {10.1007/3-540-47764-0\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Leino01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LeviM01,
author = {Francesca Levi and
Sergio Maffeis},
editor = {Patrick Cousot},
title = {An Abstract Interpretation Framework for Analysing Mobile Ambients},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {395--411},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_23},
doi = {10.1007/3-540-47764-0\_23},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/LeviM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LiangH01,
author = {Donglin Liang and
Mary Jean Harrold},
editor = {Patrick Cousot},
title = {Efficient Computation of Parameterized Pointer Information for Interprocedural
Analyses},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {279--298},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_16},
doi = {10.1007/3-540-47764-0\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/LiangH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LiuLS01,
author = {Yanhong A. Liu and
Ning Li and
Scott D. Stoller},
editor = {Patrick Cousot},
title = {Solving Regular Tree Grammar Based Constraints},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {213--233},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_13},
doi = {10.1007/3-540-47764-0\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/LiuLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Lu01,
author = {Lunjin Lu},
editor = {Patrick Cousot},
title = {Parameterizing a Groundness Analysis of Logic Programs},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {146--164},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_9},
doi = {10.1007/3-540-47764-0\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Lu01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MesnardN01,
author = {Fr{\'{e}}d{\'{e}}ric Mesnard and
Ulrich Neumerkel},
editor = {Patrick Cousot},
title = {Applying Static Analysis Techniques for Inferring Termination Conditions
of Logic Programs},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {93--110},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_6},
doi = {10.1007/3-540-47764-0\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/MesnardN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Monniaux01,
author = {David Monniaux},
editor = {Patrick Cousot},
title = {An Abstract Analysis of the Probabilistic Termination of Programs},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {111--126},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_7},
doi = {10.1007/3-540-47764-0\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Monniaux01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Myers01,
author = {Andrew C. Myers},
editor = {Patrick Cousot},
title = {Security-Typed Languages and Distributed Computation},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {437--438},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_28},
doi = {10.1007/3-540-47764-0\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Myers01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/RajamaniR01,
author = {Sriram K. Rajamani and
Jakob Rehof},
editor = {Patrick Cousot},
title = {A Behavioral Module System for the Pi-Calculus},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {375--394},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_22},
doi = {10.1007/3-540-47764-0\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/RajamaniR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Rinard01,
author = {Martin C. Rinard},
editor = {Patrick Cousot},
title = {Analysis of Multithreaded Programs},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {1--19},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_1},
doi = {10.1007/3-540-47764-0\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Rinard01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Schneider01,
author = {Fred B. Schneider},
editor = {Patrick Cousot},
title = {Language-Based Security: What's Needed and Why},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {374},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_21},
doi = {10.1007/3-540-47764-0\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Schneider01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SharpM01,
author = {Richard Sharp and
Alan Mycroft},
editor = {Patrick Cousot},
title = {Soft Scheduling for Hardware},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {57--72},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_4},
doi = {10.1007/3-540-47764-0\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SharpM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SidorovaS01,
author = {Natalia Sidorova and
Martin Steffen},
editor = {Patrick Cousot},
title = {Embedding Chaos},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {319--334},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_18},
doi = {10.1007/3-540-47764-0\_18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SidorovaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Spoto01,
author = {Fausto Spoto},
editor = {Patrick Cousot},
title = {Watchpoint Semantics: {A} Tool for Compositional and Focussed Static
Analyses},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {127--145},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_8},
doi = {10.1007/3-540-47764-0\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Spoto01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Wagner01,
author = {David A. Wagner},
editor = {Patrick Cousot},
title = {Static Analysis and Software Assurance},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {431},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_25},
doi = {10.1007/3-540-47764-0\_25},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Wagner01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/WangY01,
author = {Farn Wang and
Hsu{-}Chun Yen},
editor = {Patrick Cousot},
title = {Parametric Optimization of Open Real-Time Systems},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {299--318},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_17},
doi = {10.1007/3-540-47764-0\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/WangY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/3-540-47764-0},
doi = {10.1007/3-540-47764-0},
isbn = {3-540-42314-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-06 07:31 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
