![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/sas/sas94.bht:"
@inproceedings{DBLP:conf/sas/Agesen94, author = {Ole Agesen}, editor = {Baudouin Le Charlier}, title = {Constraint-Based Type Inference and Parametric Polymorphism}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {78--100}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_34}, doi = {10.1007/3-540-58485-4\_34}, timestamp = {Mon, 12 Aug 2019 15:36:13 +0200}, biburl = {https://dblp.org/rec/conf/sas/Agesen94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/AikenL94, author = {Alexander Aiken and T. K. Lakshman}, editor = {Baudouin Le Charlier}, title = {Directional Type Checking of Logic Programs}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {43--60}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_32}, doi = {10.1007/3-540-58485-4\_32}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/AikenL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/ArmstrongMSS94, author = {Tania Armstrong and Kim Marriott and Peter Schachte and Harald S{\o}ndergaard}, editor = {Baudouin Le Charlier}, title = {Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {266--280}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_46}, doi = {10.1007/3-540-58485-4\_46}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/ArmstrongMSS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BanerjeeS94, author = {Anindya Banerjee and David A. Schmidt}, editor = {Baudouin Le Charlier}, title = {Stackability in the Simply-Typed Call-by-Value Lambda Calculus}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {131--146}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_37}, doi = {10.1007/3-540-58485-4\_37}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/BanerjeeS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BoulangerB94, author = {Dmitri Boulanger and Maurice Bruynooghe}, editor = {Baudouin Le Charlier}, title = {A Systematic Construction of Abstract Domains}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {61--77}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_33}, doi = {10.1007/3-540-58485-4\_33}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/BoulangerB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/CodishD94, author = {Michael Codish and Bart Demoen}, editor = {Baudouin Le Charlier}, title = {Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {281--296}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_47}, doi = {10.1007/3-540-58485-4\_47}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/CodishD94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Consel94, author = {Charles Consel}, editor = {Baudouin Le Charlier}, title = {Fast Strictness Analysis Via Symbolic Fixpoint Iteration}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {423--431}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_56}, doi = {10.1007/3-540-58485-4\_56}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Consel94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/DebrayGHL94, author = {Saumya K. Debray and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Manuel V. Hermenegildo and Nai{-}Wei Lin}, editor = {Baudouin Le Charlier}, title = {Estimating the Computational Cost of Logic Programs}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {255--265}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_45}, doi = {10.1007/3-540-58485-4\_45}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/DebrayGHL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Garza-SalazarB94, author = {David A. Garza{-}Salazar and A. P. Wim B{\"{o}}hm}, editor = {Baudouin Le Charlier}, title = {Uniqueness and Completeness Analysis of Array Comprehensions}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {193--207}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_41}, doi = {10.1007/3-540-58485-4\_41}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Garza-SalazarB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Getzinger94, author = {Thomas W. Getzinger}, editor = {Baudouin Le Charlier}, title = {The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {1--25}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_30}, doi = {10.1007/3-540-58485-4\_30}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Getzinger94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/GluckJ94, author = {Robert Gl{\"{u}}ck and Jesper J{\o}rgensen}, editor = {Baudouin Le Charlier}, title = {Generating Transformers for Deforestation and Supercompilation}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {432--448}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_57}, doi = {10.1007/3-540-58485-4\_57}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/GluckJ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Goubault94, author = {Jean Goubault}, editor = {Baudouin Le Charlier}, title = {Generalized Boxings, Congruences and Partial Inlining}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {147--161}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_38}, doi = {10.1007/3-540-58485-4\_38}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Goubault94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/GrasH94, author = {Daniel Cabeza Gras and Manuel V. Hermenegildo}, editor = {Baudouin Le Charlier}, title = {Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {297--313}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_48}, doi = {10.1007/3-540-58485-4\_48}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/GrasH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Halbwachs94, author = {Nicolas Halbwachs}, editor = {Baudouin Le Charlier}, title = {About Synchronous Programming and Abstract Interpretation}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {179--192}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_40}, doi = {10.1007/3-540-58485-4\_40}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Halbwachs94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/HalbwachsPR94, author = {Nicolas Halbwachs and Yann{-}Eric Proy and Pascal Raymond}, editor = {Baudouin Le Charlier}, title = {Verification of Linear Hybrid Systems by Means of Convex Approximations}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {223--237}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_43}, doi = {10.1007/3-540-58485-4\_43}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/HalbwachsPR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/HankinM94, author = {Chris Hankin and Daniel Le M{\'{e}}tayer}, editor = {Baudouin Le Charlier}, title = {A Type-based Framework for Program Analysis}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {380--394}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_53}, doi = {10.1007/3-540-58485-4\_53}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/HankinM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/HanusZ94, author = {Michael Hanus and Frank Zartmann}, editor = {Baudouin Le Charlier}, title = {Mode Analysis of Functional Logic Programs}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {26--42}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_31}, doi = {10.1007/3-540-58485-4\_31}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/HanusZ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/HarcourtMC94, author = {Edwin A. Harcourt and Jon Mauney and Todd A. Cook}, editor = {Baudouin Le Charlier}, title = {From Processor Timing Specifications to Static Intruction Scheduling}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {116--130}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_36}, doi = {10.1007/3-540-58485-4\_36}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/HarcourtMC94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Henglein94, author = {Fritz Henglein}, editor = {Baudouin Le Charlier}, title = {Iterative Fixed Point Computation for Type-Based Strictness Analysis}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {395--407}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_54}, doi = {10.1007/3-540-58485-4\_54}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Henglein94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/JensenHR94, author = {Kristian Damm Jensen and Peter Hj{\ae}resen and Mads Rosendahl}, editor = {Baudouin Le Charlier}, title = {Efficient Strictness Analysis of Haskell}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {246--362}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_51}, doi = {10.1007/3-540-58485-4\_51}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/JensenHR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Jorgensen94, author = {Niels J{\"{o}}rgensen}, editor = {Baudouin Le Charlier}, title = {Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {329--345}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_50}, doi = {10.1007/3-540-58485-4\_50}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Jorgensen94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/KhoshnevisanA94, author = {Hessam Khoshnevisan and Mohamad Afshar}, editor = {Baudouin Le Charlier}, title = {Mechanical Elimination of Commutative Redundancy}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {449--463}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_58}, doi = {10.1007/3-540-58485-4\_58}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/KhoshnevisanA94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/LisperC94, author = {Bj{\"{o}}rn Lisper and Jean{-}Francois Collard}, editor = {Baudouin Le Charlier}, title = {Extended Analysis of Data Fields}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {208--222}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_42}, doi = {10.1007/3-540-58485-4\_42}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/LisperC94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Mauborgne94, author = {Laurent Mauborgne}, editor = {Baudouin Le Charlier}, title = {Abstract Interpretation Using TDGs}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {363--379}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_52}, doi = {10.1007/3-540-58485-4\_52}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Mauborgne94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/MuellerW94, author = {Frank Mueller and David B. Whalley}, editor = {Baudouin Le Charlier}, title = {Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {101--115}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_35}, doi = {10.1007/3-540-58485-4\_35}, timestamp = {Mon, 22 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/MuellerW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Solberg94, author = {Kirsten Lackner Solberg}, editor = {Baudouin Le Charlier}, title = {Strictness and Totality Analysis}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {408--422}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_55}, doi = {10.1007/3-540-58485-4\_55}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Solberg94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/StecklerW94, author = {Paul Steckler and Mitchell Wand}, editor = {Baudouin Le Charlier}, title = {Selective Thunkification}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {162--178}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_39}, doi = {10.1007/3-540-58485-4\_39}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/StecklerW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/VergauwenWL94, author = {Bart Vergauwen and J. Wauman and Johan Lewi}, editor = {Baudouin Le Charlier}, title = {Efficient FixPoint Computation}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {314--328}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_49}, doi = {10.1007/3-540-58485-4\_49}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/VergauwenWL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Yi94, author = {Kwangkeun Yi}, editor = {Baudouin Le Charlier}, title = {Compile-time Detection of Uncaught Exceptions in Standard {ML} Programs}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {238--254}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_44}, doi = {10.1007/3-540-58485-4\_44}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Yi94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sas/94, editor = {Baudouin Le Charlier}, title = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4}, doi = {10.1007/3-540-58485-4}, isbn = {3-540-58485-4}, timestamp = {Mon, 12 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.