Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sas/sas97.bht:"
download as .bib file
@inproceedings{DBLP:conf/sas/BagnaraHZ97,
author = {Roberto Bagnara and
Patricia M. Hill and
Enea Zaffanella},
editor = {Pascal Van Hentenryck},
title = {Set-Sharing is Redundant for Pair-Sharing},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {53--67},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032733},
doi = {10.1007/BFB0032733},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BagnaraHZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BaldanF97,
author = {Dante Baldan and
Gilberto Fil{\'{e}}},
editor = {Pascal Van Hentenryck},
title = {Abstract Interpretation from Improving {WAM} Code},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {364},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032754},
doi = {10.1007/BFB0032754},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BaldanF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BodeiP97,
author = {Chiara Bodei and
Corrado Priami},
editor = {Pascal Van Hentenryck},
title = {True Concurrency via Abstract Interpretation},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {202--216},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032743},
doi = {10.1007/BFB0032743},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BodeiP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BoigelotGWW97,
author = {Bernard Boigelot and
Patrice Godefroid and
Bernard Willems and
Pierre Wolper},
editor = {Pascal Van Hentenryck},
title = {The Power of QDDs (Extended Abstract)},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {172--186},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032741},
doi = {10.1007/BFB0032741},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/BoigelotGWW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Braunburger97,
author = {J{\"{u}}rgen Brauburger},
editor = {Pascal Van Hentenryck},
title = {Automatic Termination Analysis for Partial Functions Using Polynomial
Orderings},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {330--344},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032751},
doi = {10.1007/BFB0032751},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Braunburger97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CharlierF97,
author = {Baudouin Le Charlier and
Pierre Flener},
editor = {Pascal Van Hentenryck},
title = {On the Desirable Link Between Theory and Practice in Abstract Interpretation
(Extended Abstract)},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {379--387},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032758},
doi = {10.1007/BFB0032758},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/CharlierF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CodishLB97,
author = {Michael Codish and
Vitaly Lagoon and
Francisco Bueno},
editor = {Pascal Van Hentenryck},
title = {An Algebraic Approach to Sharing Analysis of Logic Programs},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {68--82},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032734},
doi = {10.1007/BFB0032734},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/CodishLB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CorrensonDPR97,
author = {Lo{\"{\i}}c Correnson and
{\'{E}}tienne Duris and
Didier Parigot and
Gilles Roussel},
editor = {Pascal Van Hentenryck},
title = {Attribute Grammars and Functional Programming Deforestation},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {365},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032755},
doi = {10.1007/BFB0032755},
timestamp = {Mon, 06 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/CorrensonDPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Cousot97,
author = {Patrick Cousot},
editor = {Pascal Van Hentenryck},
title = {Abstract Interpretation Based Static Analysis Parameterized by Semantics},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {388--394},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032759},
doi = {10.1007/BFB0032759},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Cousot97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/EmelianovB97,
author = {Pavel G. Emelianov and
Danil E. Baburin},
editor = {Pascal Van Hentenryck},
title = {Semantic Analyzer of Modula-Programs},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {361--363},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032753},
doi = {10.1007/BFB0032753},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/EmelianovB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FahndrichA97,
author = {Manuel F{\"{a}}hndrich and
Alexander Aiken},
editor = {Pascal Van Hentenryck},
title = {Program Analysis Using Mixed Term and Set Constraints},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {114--126},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032737},
doi = {10.1007/BFB0032737},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/FahndrichA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Frey97,
author = {Alexandre Frey},
editor = {Pascal Van Hentenryck},
title = {Satisfying Subtype Inequalities in Polynomial Space},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {265--277},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032747},
doi = {10.1007/BFB0032747},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Frey97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Granger97,
author = {Philippe Granger},
editor = {Pascal Van Hentenryck},
title = {Static Analyses of Congruence Properties on Rational Numbers (Extended
Abstract)},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {278--292},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032748},
doi = {10.1007/BFB0032748},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Granger97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Harrison97,
author = {Luddy Harrison},
editor = {Pascal Van Hentenryck},
title = {Can Abstract Interpretation Become a Mainstream Compiler Technology?
(Abstract)},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {395},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032760},
doi = {10.1007/BFB0032760},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Harrison97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HornofCN97,
author = {Luke Hornof and
Charles Consel and
Jacques Noy{\'{e}}},
editor = {Pascal Van Hentenryck},
title = {Effective Specialization of Realistic Programs via Use Sensitivity},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {293--314},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032749},
doi = {10.1007/BFB0032749},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HornofCN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/IgarashiK97,
author = {Atsushi Igarashi and
Naoki Kobayashi},
editor = {Pascal Van Hentenryck},
title = {Type-Based Analysis of Communication for Concurrent Programming Languages},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {187--201},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032742},
doi = {10.1007/BFB0032742},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/IgarashiK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JagannathanWW97,
author = {Suresh Jagannathan and
Stephen Weeks and
Andrew K. Wright},
editor = {Pascal Van Hentenryck},
title = {Type-Directed Flow Analysis for Typed Intermediate Languages},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {232--249},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032745},
doi = {10.1007/BFB0032745},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/JagannathanWW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Jones97,
author = {Neil D. Jones},
editor = {Pascal Van Hentenryck},
title = {Combining Abstract Interpretation and Partial Evaluation (Brief Overview)},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {396--405},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032761},
doi = {10.1007/BFB0032761},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Jones97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Mackie97,
author = {Ian Mackie},
editor = {Pascal Van Hentenryck},
title = {Static Analysis of Interaction Nets for Distributed Implementations},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {217--231},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032744},
doi = {10.1007/BFB0032744},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Mackie97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Marriott97,
author = {Kim Marriott},
editor = {Pascal Van Hentenryck},
title = {Abstract Interpretation: {A} Theory of Approximate Computation},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {367--378},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032757},
doi = {10.1007/BFB0032757},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Marriott97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Mossin97,
author = {Christian Mossin},
editor = {Pascal Van Hentenryck},
title = {Exact Flow Analysis},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {250--264},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032746},
doi = {10.1007/BFB0032746},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Mossin97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PanitzS97,
author = {Sven Eric Panitz and
Manfred Schmidt{-}Schau{\ss}},
editor = {Pascal Van Hentenryck},
title = {{TEA:} Automatically Proving Termination of Programs in a Non-strict
Higher-Order Functional Language},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {345--360},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032752},
doi = {10.1007/BFB0032752},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/PanitzS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Ramalingam97,
author = {G. Ramalingam},
editor = {Pascal Van Hentenryck},
title = {On Sparse Evaluation Representations},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {1--15},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032730},
doi = {10.1007/BFB0032730},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Ramalingam97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Ryder97,
author = {Barbara G. Ryder},
editor = {Pascal Van Hentenryck},
title = {Practical Compile-Time Analysis},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {406--412},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032762},
doi = {10.1007/BFB0032762},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Ryder97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Scozzari97,
author = {Francesca Scozzari},
editor = {Pascal Van Hentenryck},
title = {Logical Optimality of Groundness Analysis},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {83--97},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032735},
doi = {10.1007/BFB0032735},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Scozzari97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ShapiroH97,
author = {Marc Shapiro and
Susan Horwitz},
editor = {Pascal Van Hentenryck},
title = {The Effects of the Precision of Pointer Analysis},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {16--34},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032731},
doi = {10.1007/BFB0032731},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ShapiroH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SpeirsSS97,
author = {Chris Speirs and
Zoltan Somogyi and
Harald S{\o}ndergaard},
editor = {Pascal Van Hentenryck},
title = {Termination Analysis for Mercury},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {160--171},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032740},
doi = {10.1007/BFB0032740},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/SpeirsSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/TalbotTD97,
author = {Jean{-}Marc Talbot and
Sophie Tison and
Philippe Devienne},
editor = {Pascal Van Hentenryck},
title = {Set-Based Analysis for Logic Programming and Tree Automata},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {127--140},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032738},
doi = {10.1007/BFB0032738},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/TalbotTD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Tzolovski97,
author = {Stanislav Tzolovski},
editor = {Pascal Van Hentenryck},
title = {Data Dependence as Abstract Interpretations},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {366},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032756},
doi = {10.1007/BFB0032756},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Tzolovski97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/UhW97,
author = {Gang{-}Ryung Uh and
David B. Whalley},
editor = {Pascal Van Hentenryck},
title = {Coalescing Conditional Branches into Efficient Indirect Jumps},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {315--329},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032750},
doi = {10.1007/BFB0032750},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/UhW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/WaddellD97,
author = {Oscar Waddell and
R. Kent Dybvig},
editor = {Pascal Van Hentenryck},
title = {Fast and Effective Procedure Inlining},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {35--52},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032732},
doi = {10.1007/BFB0032732},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/WaddellD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/YiR97,
author = {Kwangkeun Yi and
Sukyoung Ryu},
editor = {Pascal Van Hentenryck},
title = {Towards a Cost-Effective Estimation of Uncaught Exceptions in {SML}
Programs},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {98--113},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032736},
doi = {10.1007/BFB0032736},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/YiR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Zartmann97,
author = {Frank Zartmann},
editor = {Pascal Van Hentenryck},
title = {Denotational Abstract Interpretation of Functional Logic Programs},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {141--159},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032739},
doi = {10.1007/BFB0032739},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Zartmann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1997,
editor = {Pascal Van Hentenryck},
title = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032729},
doi = {10.1007/BFB0032729},
isbn = {3-540-63468-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2024-05-12 21:13 CEST 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:
