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/wsa93.bht:"
download as .bib file
@inproceedings{DBLP:conf/sas/Amtoft93,
author = {Torben Amtoft},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Minimal Thunkification},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {218--229},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_43},
doi = {10.1007/3-540-57264-3\_43},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Amtoft93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Benton93,
author = {P. N. Benton},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Strictness Properties of Lazy Algebraic Datatypes},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {206--217},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_42},
doi = {10.1007/3-540-57264-3\_42},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Benton93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BertEO93,
author = {Didier Bert and
Rachid Echahed and
Bjarte M. {\O}stvold},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Abstract Rewriting},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {178--192},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_39},
doi = {10.1007/3-540-57264-3\_39},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BertEO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BoyePM93,
author = {Johan Boye and
Jukka Paakki and
Jan Maluszynski},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Synthesis of Directionality Information for Functional Logic Programs},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {165--177},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_38},
doi = {10.1007/3-540-57264-3\_38},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BoyePM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BruynoogheC93,
author = {Maurice Bruynooghe and
Michael Codish},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Freeness, Sharing, Linearity and Correctness - All at Once},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {153--164},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_37},
doi = {10.1007/3-540-57264-3\_37},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/BruynoogheC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CharlierDMH93,
author = {Baudouin Le Charlier and
Olivier Degimbe and
Laurent Michel and
Pascal Van Hentenryck},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Optimization Techniques for General Purpose Fixpoint Algorithms -
Practical Efficiency for the Abstract Interpretation of Prolog},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {15--26},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_26},
doi = {10.1007/3-540-57264-3\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/CharlierDMH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChinK93,
author = {Wei{-}Ngan Chin and
Siau{-}Cheng Khoo},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Tupling Functions with Multiple Recursion Parameters},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {124--140},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_35},
doi = {10.1007/3-540-57264-3\_35},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChinK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CridligG93,
author = {R{\'{e}}gis Cridlig and
Eric Goubault},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Semantics and Analysis of Linda-Based Languages},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {72--86},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_30},
doi = {10.1007/3-540-57264-3\_30},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/CridligG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ErringtonHJ93,
author = {Lindsay Errington and
Chris Hankin and
Thomas P. Jensen},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {A Congruence for Gamma Programs},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {242--253},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_45},
doi = {10.1007/3-540-57264-3\_45},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ErringtonHJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FergusonH93,
author = {Alex Ferguson and
John Hughes},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Fast Abstract Interpretation Using Sequential Algorithms},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {45--59},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_28},
doi = {10.1007/3-540-57264-3\_28},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/FergusonH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Fernandez93,
author = {Jean{-}Claude Fernandez},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Abstract Interpretation and Verification of Reactive Systems},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {60--71},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_29},
doi = {10.1007/3-540-57264-3\_29},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Fernandez93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GluckK93,
author = {Robert Gl{\"{u}}ck and
Andrei V. Klimov},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {112--123},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_34},
doi = {10.1007/3-540-57264-3\_34},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GluckK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HentenryckDCM93,
author = {Pascal Van Hentenryck and
Olivier Degimbe and
Baudouin Le Charlier and
Laurent Michel},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {The Impact of Granularity in Abstract Interpretation of Prolog},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {1--14},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_25},
doi = {10.1007/3-540-57264-3\_25},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HentenryckDCM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Hudak93,
author = {Paul Hudak},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Reflections on Program Optimization},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {193},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_40},
doi = {10.1007/3-540-57264-3\_40},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Hudak93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Jorgensen93,
author = {Niels J{\o}rgensen},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Chaotic Fixpoint Iteration Guided by Dynamic Dependency},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {27--44},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_27},
doi = {10.1007/3-540-57264-3\_27},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Jorgensen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KatoSI93,
author = {Shohei Kato and
Hirohisa Seki and
Hidenori Itoh},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {An Efficient Abductive Reasoning System Based on Program Analysis},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {230--241},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_44},
doi = {10.1007/3-540-57264-3\_44},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/KatoSI93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MaffeisG93,
author = {Olivier Maffe{\"{\i}}s and
Paul {Le Guernic}},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Combining Dependability with Architectural Adatability by Means of
the {SIGNAL} Language},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {99--110},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_32},
doi = {10.1007/3-540-57264-3\_32},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/MaffeisG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Monsuez93,
author = {Bruno Monsuez},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Polymorphic Types and Widening Operators},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {267--281},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_47},
doi = {10.1007/3-540-57264-3\_47},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Monsuez93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NielsonN93,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Finiteness Conditions for Strictness Analysis},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {194--205},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_41},
doi = {10.1007/3-540-57264-3\_41},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/NielsonN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Roy93,
author = {Peter Van Roy},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Challenges in Developing Useful and Practical Static Analysis for
Logic Programs},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {111},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_33},
doi = {10.1007/3-540-57264-3\_33},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Roy93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SahlinS93,
author = {Dan Sahlin and
Thomas Sj{\"{o}}land},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Demonstration: Static Analysis of {AKL}},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {282--283},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_48},
doi = {10.1007/3-540-57264-3\_48},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SahlinS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/TalpinJ93,
author = {Jean{-}Pierre Talpin and
Pierre Jouvelot},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Compiling {FX} on the {CM-2}},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {87--98},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_31},
doi = {10.1007/3-540-57264-3\_31},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/TalpinJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Thiemann93,
author = {Peter Thiemann},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Avoiding Repeated Tests in Pattern Matching},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {141--152},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_36},
doi = {10.1007/3-540-57264-3\_36},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/Thiemann93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/WrightB93,
author = {David A. Wright and
Clement A. Baker{-}Finch},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Usage Analysis with Natural Reduction Types},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {254--266},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_46},
doi = {10.1007/3-540-57264-3\_46},
timestamp = {Mon, 07 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/WrightB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1993,
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3},
doi = {10.1007/3-540-57264-3},
isbn = {3-540-57264-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/1993.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-06 01:27 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:
