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/esop2004.bht:"
download as .bib file
@inproceedings{DBLP:conf/esop/AbadiBF04,
author = {Mart{\'{\i}}n Abadi and
Bruno Blanchet and
C{\'{e}}dric Fournet},
editor = {David A. Schmidt},
title = {Just Fast Keying in the Pi Calculus},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {340--354},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_24},
doi = {10.1007/978-3-540-24725-8\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/AbadiBF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Boudol04,
author = {G{\'{e}}rard Boudol},
editor = {David A. Schmidt},
title = {{ULM:} {A} Core Programming Model for Global Computing: (Extended
Abstract)},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {234--248},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_17},
doi = {10.1007/978-3-540-24725-8\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Boudol04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BugliesiFM04,
author = {Michele Bugliesi and
Riccardo Focardi and
Matteo Maffei},
editor = {David A. Schmidt},
title = {Compositional Analysis of Authentication Protocols},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {140--154},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_11},
doi = {10.1007/978-3-540-24725-8\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BugliesiFM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CacheraJPR04,
author = {David Cachera and
Thomas P. Jensen and
David Pichardie and
Vlad Rusu},
editor = {David A. Schmidt},
title = {Extracting a Data Flow Analyser in Constructive Logic},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {385--400},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_27},
doi = {10.1007/978-3-540-24725-8\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/CacheraJPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CalcagnoMT04,
author = {Cristiano Calcagno and
Eugenio Moggi and
Walid Taha},
editor = {David A. Schmidt},
title = {ML-Like Inference for Classifiers},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {79--93},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_7},
doi = {10.1007/978-3-540-24725-8\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/CalcagnoMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CarlierPWK04,
author = {S{\'{e}}bastien Carlier and
Jeff Polakow and
J. B. Wells and
A. J. Kfoury},
editor = {David A. Schmidt},
title = {System {E:} Expansion Variables for Flexible Typing with Linear and
Non-linear Types and Intersection Types},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {294--309},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_21},
doi = {10.1007/978-3-540-24725-8\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/CarlierPWK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CarlssonB04,
author = {Mats Carlsson and
Nicolas Beldiceanu},
editor = {David A. Schmidt},
title = {From Constraints to Finite Automata to Filtering Algorithms},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {94--108},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_8},
doi = {10.1007/978-3-540-24725-8\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/CarlssonB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DuckPSS04,
author = {Gregory J. Duck and
Simon L. Peyton Jones and
Peter J. Stuckey and
Martin Sulzmann},
editor = {David A. Schmidt},
title = {Sound and Decidable Type Inference for Functional Dependencies},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {49--63},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_5},
doi = {10.1007/978-3-540-24725-8\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/DuckPSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/EnnalsSM04,
author = {Robert Ennals and
Richard Sharp and
Alan Mycroft},
editor = {David A. Schmidt},
title = {Linear Types for Packet Processing},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {204--218},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_15},
doi = {10.1007/978-3-540-24725-8\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/EnnalsSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/EspanaE04,
author = {Salvador Espa{\~{n}}a Boquera and
Vicent Estruch},
editor = {David A. Schmidt},
title = {A Memoizing Semantics for Functional Logic Languages},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {109--123},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_9},
doi = {10.1007/978-3-540-24725-8\_9},
timestamp = {Wed, 24 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/EspanaE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Feret04,
author = {J{\'{e}}r{\^{o}}me Feret},
editor = {David A. Schmidt},
title = {Static Analysis of Digital Filters},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {33--48},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_4},
doi = {10.1007/978-3-540-24725-8\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Feret04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FilliatreL04,
author = {Jean{-}Christophe Filli{\^{a}}tre and
Pierre Letouzey},
editor = {David A. Schmidt},
title = {Functors for Proofs and Programs},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {370--384},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_26},
doi = {10.1007/978-3-540-24725-8\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/FilliatreL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Ghica04,
author = {Dan R. Ghica},
editor = {David A. Schmidt},
title = {Semantical Analysis of Specification Logic, 3: An Operational Approach},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {264--278},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_19},
doi = {10.1007/978-3-540-24725-8\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Ghica04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GustafssonS04,
author = {Per Gustafsson and
Konstantinos Sagonas},
editor = {David A. Schmidt},
title = {Adaptive Pattern Matching on Binary Data},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {124--139},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_10},
doi = {10.1007/978-3-540-24725-8\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/GustafssonS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GuttmanTCHRS04,
author = {Joshua D. Guttman and
F. Javier Thayer and
Jay A. Carlson and
Jonathan C. Herzog and
John D. Ramsdell and
Brian T. Sniffen},
editor = {David A. Schmidt},
title = {Trust Management in Strand Spaces: {A} Rely-Guarantee Method},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {325--339},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_23},
doi = {10.1007/978-3-540-24725-8\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/GuttmanTCHRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Hansen04,
author = {Ren{\'{e}} Rydhof Hansen},
editor = {David A. Schmidt},
title = {A Hardest Attacker for Leaking References},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {310--324},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_22},
doi = {10.1007/978-3-540-24725-8\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Hansen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HirschowitzLW04,
author = {Tom Hirschowitz and
Xavier Leroy and
J. B. Wells},
editor = {David A. Schmidt},
title = {Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {64--78},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_6},
doi = {10.1007/978-3-540-24725-8\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/HirschowitzLW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JiaW04,
author = {Limin Jia and
David Walker},
editor = {David A. Schmidt},
title = {Modal Proofs as Distributed Programs (Extended Abstract)},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {219--233},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_16},
doi = {10.1007/978-3-540-24725-8\_16},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/JiaW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LeviB04,
author = {Francesca Levi and
Chiara Bodei},
editor = {David A. Schmidt},
title = {A Control Flow Analysis for Safe and Boxed Ambients},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {188--203},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_14},
doi = {10.1007/978-3-540-24725-8\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/LeviB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LhoussaineS04,
author = {C{\'{e}}dric Lhoussaine and
Vladimiro Sassone},
editor = {David A. Schmidt},
title = {A Dependently Typed Ambient Calculus},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {171--187},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_13},
doi = {10.1007/978-3-540-24725-8\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/LhoussaineS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Mine04,
author = {Antoine Min{\'{e}}},
editor = {David A. Schmidt},
title = {Relational Abstract Domains for the Detection of Floating-Point Run-Time
Errors},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {3--17},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_2},
doi = {10.1007/978-3-540-24725-8\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Mine04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/OHearn04,
author = {Peter W. O'Hearn},
editor = {David A. Schmidt},
title = {Resources, Concurrency, and Local Reasoning (Abstract)},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {1--2},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_1},
doi = {10.1007/978-3-540-24725-8\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/OHearn04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PhillipsYE04,
author = {Andrew Phillips and
Nobuko Yoshida and
Susan Eisenbach},
editor = {David A. Schmidt},
title = {A Distributed Abstract Machine for Boxed Ambient Calculi},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {155--170},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_12},
doi = {10.1007/978-3-540-24725-8\_12},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/PhillipsYE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RanzatoT04,
author = {Francesco Ranzato and
Francesco Tapparo},
editor = {David A. Schmidt},
title = {Strong Preservation as Completeness in Abstract Interpretation},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {18--32},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_3},
doi = {10.1007/978-3-540-24725-8\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/RanzatoT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Rensink04,
author = {Arend Rensink},
editor = {David A. Schmidt},
title = {Canonical Graph Shapes},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {401--415},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_28},
doi = {10.1007/978-3-540-24725-8\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Rensink04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Shmatikov04,
author = {Vitaly Shmatikov},
editor = {David A. Schmidt},
title = {Decidable Analysis of Cryptographic Protocols with Products and Modular
Exponentiation},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {355--369},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_25},
doi = {10.1007/978-3-540-24725-8\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Shmatikov04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Thielecke04,
author = {Hayo Thielecke},
editor = {David A. Schmidt},
title = {Answer Type Polymorphism in Call-by-Name Continuation Passing},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {279--293},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_20},
doi = {10.1007/978-3-540-24725-8\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Thielecke04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/VitekJWH04,
author = {Jan Vitek and
Suresh Jagannathan and
Adam Welc and
Antony L. Hosking},
editor = {David A. Schmidt},
title = {A Semantic Framework for Designer Transactions},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {249--263},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_18},
doi = {10.1007/978-3-540-24725-8\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/VitekJWH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2004,
editor = {David A. Schmidt},
title = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b96702},
doi = {10.1007/B96702},
isbn = {3-540-21313-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/2004.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-05 22:52 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:
