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/esop/esop2002.bht:"
download as .bib file
@inproceedings{DBLP:conf/esop/AspinallH02,
author = {David Aspinall and
Martin Hofmann},
editor = {Daniel Le M{\'{e}}tayer},
title = {Another Type System for In-Place Update},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {36--52},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_4},
doi = {10.1007/3-540-45927-8\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/AspinallH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BistarelliMR02,
author = {Stefano Bistarelli and
Ugo Montanari and
Francesca Rossi},
editor = {Daniel Le M{\'{e}}tayer},
title = {Soft Concurrent Constraint Programming},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {53--67},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_5},
doi = {10.1007/3-540-45927-8\_5},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/BistarelliMR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CharatonikGT02,
author = {Witold Charatonik and
Andrew D. Gordon and
Jean{-}Marc Talbot},
editor = {Daniel Le M{\'{e}}tayer},
title = {Finite-Control Mobile Ambients},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {295--313},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_21},
doi = {10.1007/3-540-45927-8\_21},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/CharatonikGT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Feret02,
author = {J{\'{e}}r{\^{o}}me Feret},
editor = {Daniel Le M{\'{e}}tayer},
title = {Dependency Analysis of Mobile Systems},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {314--330},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_22},
doi = {10.1007/3-540-45927-8\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Feret02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FlanaganFQ02,
author = {Cormac Flanagan and
Stephen N. Freund and
Shaz Qadeer},
editor = {Daniel Le M{\'{e}}tayer},
title = {Thread-Modular Verification for Shared-Memory Programs},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {262--277},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_19},
doi = {10.1007/3-540-45927-8\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/FlanaganFQ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Glew02,
author = {Neal Glew},
editor = {Daniel Le M{\'{e}}tayer},
title = {A Theory of Second-Order Trees},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {147--161},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_11},
doi = {10.1007/3-540-45927-8\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Glew02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GoubaultMP02,
author = {Eric Goubault and
Matthieu Martel and
Sylvie Putot},
editor = {Daniel Le M{\'{e}}tayer},
title = {Asserting the Precision of Floating-Point Computations: {A} Simple
Abstract Interpreter},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {209--212},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_15},
doi = {10.1007/3-540-45927-8\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/GoubaultMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Grossman02,
author = {Dan Grossman},
editor = {Daniel Le M{\'{e}}tayer},
title = {Existential Types for Imperative Languages},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {21--35},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_3},
doi = {10.1007/3-540-45927-8\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Grossman02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HirschowitzL02,
author = {Tom Hirschowitz and
Xavier Leroy},
editor = {Daniel Le M{\'{e}}tayer},
title = {Mixin Modules in a Call-by-Value Setting},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {6--20},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_2},
doi = {10.1007/3-540-45927-8\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/HirschowitzL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Horwitz02,
author = {Susan Horwitz},
editor = {Daniel Le M{\'{e}}tayer},
title = {Tool Support for Improving Test Coverage},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {162--177},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_12},
doi = {10.1007/3-540-45927-8\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Horwitz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HuIT02,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
editor = {Daniel Le M{\'{e}}tayer},
title = {An Accumulative Parallel Skeleton for All},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {83--97},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_7},
doi = {10.1007/3-540-45927-8\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/HuIT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Kandemir02,
author = {Mahmut T. Kandemir},
editor = {Daniel Le M{\'{e}}tayer},
title = {Data Space Oriented Tiling},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {178--193},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_13},
doi = {10.1007/3-540-45927-8\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Kandemir02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Laird02,
author = {James Laird},
editor = {Daniel Le M{\'{e}}tayer},
title = {Exceptions, Continuations and Macro-expressiveness},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {133--146},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_10},
doi = {10.1007/3-540-45927-8\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Laird02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Martel02,
author = {Matthieu Martel},
editor = {Daniel Le M{\'{e}}tayer},
title = {Propagation of Roundoff Errors in Finite Precision Computations: {A}
Semantics Approach},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {194--208},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_14},
doi = {10.1007/3-540-45927-8\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Martel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/McGuireKH02,
author = {Morgan McGuire and
Shriram Krishnamurthi and
John F. Hughes},
editor = {Daniel Le M{\'{e}}tayer},
title = {Programming Languages for Compressing Graphics},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {68--82},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_6},
doi = {10.1007/3-540-45927-8\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/McGuireKH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Morrisett02,
author = {J. Gregory Morrisett},
editor = {Daniel Le M{\'{e}}tayer},
title = {Type Checking Systems Code},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {1--5},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_1},
doi = {10.1007/3-540-45927-8\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Morrisett02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsonNS02,
author = {Flemming Nielson and
Hanne Riis Nielson and
Helmut Seidl},
editor = {Daniel Le M{\'{e}}tayer},
title = {Automatic Complexity Analysis},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {243--261},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_18},
doi = {10.1007/3-540-45927-8\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsonNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Thiemann02,
author = {Peter Thiemann},
editor = {Daniel Le M{\'{e}}tayer},
title = {A Prototype Dependency Calculus},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {228--242},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_17},
doi = {10.1007/3-540-45927-8\_17},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/Thiemann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WandW02,
author = {Mitchell Wand and
Galen B. Williamson},
editor = {Daniel Le M{\'{e}}tayer},
title = {A Modular, Extensible Proof Method for Small-Step Flow Analyses},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {213--227},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_16},
doi = {10.1007/3-540-45927-8\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/WandW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WansbroughNSS02,
author = {Keith Wansbrough and
Michael Norrish and
Peter Sewell and
Andrei Serjantov},
editor = {Daniel Le M{\'{e}}tayer},
title = {Timing {UDP:} Mechanized Semantics for Sockets, Threads, and Failures},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {278--294},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_20},
doi = {10.1007/3-540-45927-8\_20},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/WansbroughNSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Weirich02,
author = {Stephanie Weirich},
editor = {Daniel Le M{\'{e}}tayer},
title = {Higher-Order Intensional Type Analysis},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {98--114},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_8},
doi = {10.1007/3-540-45927-8\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Weirich02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WellsH02,
author = {Joe B. Wells and
Christian Haack},
editor = {Daniel Le M{\'{e}}tayer},
title = {Branching Types},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {115--132},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_9},
doi = {10.1007/3-540-45927-8\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/WellsH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2002,
editor = {Daniel Le M{\'{e}}tayer},
title = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8},
doi = {10.1007/3-540-45927-8},
isbn = {3-540-43363-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/2002.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-31 00:55 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:
