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/sas94.bht:"
download as .bib file
@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}
}
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-07-22 22:12 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:
