Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/sas/sas97.bht:"
@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} }
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.