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/esop2012.bht:"
download as .bib file
@inproceedings{DBLP:conf/esop/AtigBBM12,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
Sebastian Burckhardt and
Madanlal Musuvathi},
editor = {Helmut Seidl},
title = {What's Decidable about Weak Memory Models?},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {26--46},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_2},
doi = {10.1007/978-3-642-28869-2\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/AtigBBM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BartheDP12,
author = {Gilles Barthe and
Delphine Demange and
David Pichardie},
editor = {Helmut Seidl},
title = {A Formally Verified SSA-Based Middle-End - Static Single Assignment
Meets CompCert},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {47--66},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_3},
doi = {10.1007/978-3-642-28869-2\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BartheDP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BurckhardtGMY12,
author = {Sebastian Burckhardt and
Alexey Gotsman and
Madanlal Musuvathi and
Hongseok Yang},
editor = {Helmut Seidl},
title = {Concurrent Library Correctness on the {TSO} Memory Model},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {87--107},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_5},
doi = {10.1007/978-3-642-28869-2\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BurckhardtGMY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BurckhardtLFS12,
author = {Sebastian Burckhardt and
Daan Leijen and
Manuel F{\"{a}}hndrich and
Mooly Sagiv},
editor = {Helmut Seidl},
title = {Eventually Consistent Transactions},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {67--86},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_4},
doi = {10.1007/978-3-642-28869-2\_4},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BurckhardtLFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChadhaCK12,
author = {Rohit Chadha and
{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and
Steve Kremer},
editor = {Helmut Seidl},
title = {Automated Verification of Equivalence Properties of Cryptographic
Protocols},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {108--127},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_6},
doi = {10.1007/978-3-642-28869-2\_6},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/ChadhaCK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChangF12,
author = {Stephen Chang and
Matthias Felleisen},
editor = {Helmut Seidl},
title = {The Call-by-Need Lambda Calculus, Revisited},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {128--147},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_7},
doi = {10.1007/978-3-642-28869-2\_7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/ChangF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChenCJK12,
author = {Taolue Chen and
Chris Chilton and
Bengt Jonsson and
Marta Z. Kwiatkowska},
editor = {Helmut Seidl},
title = {A Compositional Specification Theory for Component Behaviours},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {148--168},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_8},
doi = {10.1007/978-3-642-28869-2\_8},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/ChenCJK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CousotM12,
author = {Patrick Cousot and
Michael Monerau},
editor = {Helmut Seidl},
title = {Probabilistic Abstract Interpretation},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {169--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_9},
doi = {10.1007/978-3-642-28869-2\_9},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/CousotM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DenielouY12,
author = {Pierre{-}Malo Deni{\'{e}}lou and
Nobuko Yoshida},
editor = {Helmut Seidl},
title = {Multiparty Session Types Meet Communicating Automata},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {194--213},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_10},
doi = {10.1007/978-3-642-28869-2\_10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/DenielouY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DimoulasTF12,
author = {Christos Dimoulas and
Sam Tobin{-}Hochstadt and
Matthias Felleisen},
editor = {Helmut Seidl},
title = {Complete Monitors for Behavioral Contracts},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {214--233},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_11},
doi = {10.1007/978-3-642-28869-2\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/DimoulasTF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DownenA12,
author = {Paul Downen and
Zena M. Ariola},
editor = {Helmut Seidl},
title = {A Systematic Approach to Delimited Control with Multiple Prompts},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {234--253},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_12},
doi = {10.1007/978-3-642-28869-2\_12},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/DownenA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/EmotoFH12,
author = {Kento Emoto and
Sebastian Fischer and
Zhenjiang Hu},
editor = {Helmut Seidl},
title = {Generate, Test, and Aggregate - {A} Calculation-based Framework for
Systematic Parallel Programming with MapReduce},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {254--273},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_13},
doi = {10.1007/978-3-642-28869-2\_13},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/EmotoFH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FajstrupGHMR12,
author = {Lisbeth Fajstrup and
Eric Goubault and
Emmanuel Haucourt and
Samuel Mimram and
Martin Rau{\ss}en},
editor = {Helmut Seidl},
title = {Trace Spaces: An Efficient New Technique for State-Space Reduction},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {274--294},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_14},
doi = {10.1007/978-3-642-28869-2\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/FajstrupGHMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FehnkerGHMPT12,
author = {Ansgar Fehnker and
Rob J. van Glabbeek and
Peter H{\"{o}}fner and
Annabelle McIver and
Marius Portmann and
Wee Lum Tan},
editor = {Helmut Seidl},
title = {A Process Algebra for Wireless Mesh Networks},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {295--315},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_15},
doi = {10.1007/978-3-642-28869-2\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/FehnkerGHMPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HabermaierK12,
author = {Axel Habermaier and
Alexander Knapp},
editor = {Helmut Seidl},
title = {On the Correctness of the {SIMT} Execution Model of GPUs},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {316--335},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_16},
doi = {10.1007/978-3-642-28869-2\_16},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/HabermaierK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HawkinsAFRS12,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Helmut Seidl},
title = {Reasoning about Lock Placements},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {336--356},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_17},
doi = {10.1007/978-3-642-28869-2\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/HawkinsAFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/InoueT12,
author = {Jun Inoue and
Walid Taha},
editor = {Helmut Seidl},
title = {Reasoning about Multi-stage Programs},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {357--376},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_18},
doi = {10.1007/978-3-642-28869-2\_18},
timestamp = {Thu, 14 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/InoueT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JensenB12,
author = {Jonas Braband Jensen and
Lars Birkedal},
editor = {Helmut Seidl},
title = {Fictional Separation Logic},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {377--396},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_19},
doi = {10.1007/978-3-642-28869-2\_19},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/JensenB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JourdanPL12,
author = {Jacques{-}Henri Jourdan and
Fran{\c{c}}ois Pottier and
Xavier Leroy},
editor = {Helmut Seidl},
title = {Validating {LR(1)} Parsers},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {397--416},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_20},
doi = {10.1007/978-3-642-28869-2\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/JourdanPL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KrishnaswamiB12,
author = {Neelakantan R. Krishnaswami and
Nick Benton},
editor = {Helmut Seidl},
title = {Adding Equations to System {F} Types},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {417--435},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_21},
doi = {10.1007/978-3-642-28869-2\_21},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/KrishnaswamiB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LeeOCY12,
author = {Gyesik Lee and
Bruno C. d. S. Oliveira and
Sungkeun Cho and
Kwangkeun Yi},
editor = {Helmut Seidl},
title = {GMeta: {A} Generic Formal Metatheory Framework for First-Order Representations},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {436--455},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_22},
doi = {10.1007/978-3-642-28869-2\_22},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/LeeOCY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LengletW12,
author = {Sergue{\"{\i}} Lenglet and
Joe B. Wells},
editor = {Helmut Seidl},
title = {Expansion for Universal Quantifiers},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {456--475},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_23},
doi = {10.1007/978-3-642-28869-2\_23},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/LengletW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Ley-WildAB12,
author = {Ruy Ley{-}Wild and
Umut A. Acar and
Guy E. Blelloch},
editor = {Helmut Seidl},
title = {Non-monotonic Self-Adjusting Computation},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {476--496},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_24},
doi = {10.1007/978-3-642-28869-2\_24},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Ley-WildAB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Lochbihler12,
author = {Andreas Lochbihler},
editor = {Helmut Seidl},
title = {Java and the Java Memory Model - {A} Unified, Machine-Checked Formalisation},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {497--517},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_25},
doi = {10.1007/978-3-642-28869-2\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Lochbihler12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LuPZX12,
author = {Yi Lu and
John Potter and
Chenyi Zhang and
Jingling Xue},
editor = {Helmut Seidl},
title = {A Type and Effect System for Determinism in Multithreaded Programs},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {518--538},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_26},
doi = {10.1007/978-3-642-28869-2\_26},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/LuPZX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PerezCPT12,
author = {Jorge A. P{\'{e}}rez and
Lu{\'{\i}}s Caires and
Frank Pfenning and
Bernardo Toninho},
editor = {Helmut Seidl},
title = {Linear Logical Relations for Session-Based Concurrency},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {539--558},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_27},
doi = {10.1007/978-3-642-28869-2\_27},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/PerezCPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Rhiger12,
author = {Morten Rhiger},
editor = {Helmut Seidl},
title = {Staged Computation with Staged Lexical Scope},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {559--578},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_28},
doi = {10.1007/978-3-642-28869-2\_28},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Rhiger12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SergeyC12,
author = {Ilya Sergey and
Dave Clarke},
editor = {Helmut Seidl},
title = {Gradual Ownership Types},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {579--599},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_29},
doi = {10.1007/978-3-642-28869-2\_29},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/SergeyC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Stroustrup12,
author = {Bjarne Stroustrup},
editor = {Helmut Seidl},
title = {Foundations of {C++}},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {1--25},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_1},
doi = {10.1007/978-3-642-28869-2\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Stroustrup12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2012,
editor = {Helmut Seidl},
title = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2},
doi = {10.1007/978-3-642-28869-2},
isbn = {978-3-642-28868-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/2012.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-29 22:08 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:
