Search dblp for Publications

export results for "toc:db/conf/esop/esop2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/esop/AdjeGG10,
  author       = {Assal{\'{e}} Adj{\'{e}} and
                  St{\'{e}}phane Gaubert and
                  Eric Goubault},
  editor       = {Andrew D. Gordon},
  title        = {Coupling Policy Iteration with Semi-definite Relaxation to Compute
                  Accurate Numerical Invariants in Static Analysis},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {23--42},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_3},
  doi          = {10.1007/978-3-642-11957-6\_3},
  timestamp    = {Mon, 14 Feb 2022 09:20:30 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/AdjeGG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/AmtoftHR10,
  author       = {Torben Amtoft and
                  John Hatcliff and
                  Edwin Rodr{\'{\i}}guez},
  editor       = {Andrew D. Gordon},
  title        = {Precise and Automated Contract-Based Reasoning for Verification and
                  Certification of Information Flow Properties of Programs with Arrays},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {43--63},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_4},
  doi          = {10.1007/978-3-642-11957-6\_4},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/AmtoftHR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/AskarovM10,
  author       = {Aslan Askarov and
                  Andrew C. Myers},
  editor       = {Andrew D. Gordon},
  title        = {A Semantic Framework for Declassification and Endorsement},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {64--84},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_5},
  doi          = {10.1007/978-3-642-11957-6\_5},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/AskarovM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Atkey10,
  author       = {Robert Atkey},
  editor       = {Andrew D. Gordon},
  title        = {Amortised Resource Analysis with Separation Logic},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {85--103},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_6},
  doi          = {10.1007/978-3-642-11957-6\_6},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Atkey10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/BaillotGM10,
  author       = {Patrick Baillot and
                  Marco Gaboardi and
                  Virgile Mogbil},
  editor       = {Andrew D. Gordon},
  title        = {A PolyTime Functional Language from Light Linear Logic},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {104--124},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_7},
  doi          = {10.1007/978-3-642-11957-6\_7},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BaillotGM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/BernardyJC10,
  author       = {Jean{-}Philippe Bernardy and
                  Patrik Jansson and
                  Koen Claessen},
  editor       = {Andrew D. Gordon},
  title        = {Testing Polymorphic Properties},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {125--144},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_8},
  doi          = {10.1007/978-3-642-11957-6\_8},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BernardyJC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/BlazyRA10,
  author       = {Sandrine Blazy and
                  Beno{\^{\i}}t Robillard and
                  Andrew W. Appel},
  editor       = {Andrew D. Gordon},
  title        = {Formal Verification of Coalescing Graph-Coloring Register Allocation},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {145--164},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_9},
  doi          = {10.1007/978-3-642-11957-6\_9},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BlazyRA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/BoudolP10,
  author       = {G{\'{e}}rard Boudol and
                  Gustavo Petri},
  editor       = {Andrew D. Gordon},
  title        = {A Theory of Speculative Computation},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {165--184},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_10},
  doi          = {10.1007/978-3-642-11957-6\_10},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BoudolP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/DSilva10,
  author       = {Vijay D'Silva},
  editor       = {Andrew D. Gordon},
  title        = {Propositional Interpolation and Abstract Interpretation},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {185--204},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_11},
  doi          = {10.1007/978-3-642-11957-6\_11},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/DSilva10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/DeshmukhRRV10,
  author       = {Jyotirmoy V. Deshmukh and
                  G. Ramalingam and
                  Venkatesh Prasad Ranganath and
                  Kapil Vaswani},
  editor       = {Andrew D. Gordon},
  title        = {Logical Concurrency Control from Sequential Proofs},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {226--245},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_13},
  doi          = {10.1007/978-3-642-11957-6\_13},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/DeshmukhRRV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/DilligDA10,
  author       = {Isil Dillig and
                  Thomas Dillig and
                  Alex Aiken},
  editor       = {Andrew D. Gordon},
  title        = {Fluid Updates: Beyond Strong vs. Weak Updates},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {246--266},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_14},
  doi          = {10.1007/978-3-642-11957-6\_14},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/DilligDA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/FerreiraFS10,
  author       = {Rodrigo Ferreira and
                  Xinyu Feng and
                  Zhong Shao},
  editor       = {Andrew D. Gordon},
  title        = {Parameterized Memory Models and Concurrent Separation Logic},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {267--286},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_15},
  doi          = {10.1007/978-3-642-11957-6\_15},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/FerreiraFS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/HoffmannH10,
  author       = {Jan Hoffmann and
                  Martin Hofmann},
  editor       = {Andrew D. Gordon},
  title        = {Amortized Resource Analysis with Polynomial Potential},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {287--306},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_16},
  doi          = {10.1007/978-3-642-11957-6\_16},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/HoffmannH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/JagadeesanPR10,
  author       = {Radha Jagadeesan and
                  Corin Pitcher and
                  James Riely},
  editor       = {Andrew D. Gordon},
  title        = {Generative Operational Semantics for Relaxed Memory Models},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {307--326},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_17},
  doi          = {10.1007/978-3-642-11957-6\_17},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/JagadeesanPR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/KingJMJJS10,
  author       = {Dave King and
                  Susmit Jha and
                  Divya Muthukumaran and
                  Trent Jaeger and
                  Somesh Jha and
                  Sanjit A. Seshia},
  editor       = {Andrew D. Gordon},
  title        = {Automating Security Mediation Placement},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {327--344},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_18},
  doi          = {10.1007/978-3-642-11957-6\_18},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/KingJMJJS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/KoprowskiB10,
  author       = {Adam Koprowski and
                  Henri Binsztok},
  editor       = {Andrew D. Gordon},
  title        = {{TRX:} {A} Formally Verified Parser Interpreter},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {345--365},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_19},
  doi          = {10.1007/978-3-642-11957-6\_19},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/KoprowskiB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/LagoS10,
  author       = {Ugo Dal Lago and
                  Ulrich Sch{\"{o}}pp},
  editor       = {Andrew D. Gordon},
  title        = {Functional Programming in Sublinear Space},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {205--225},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_12},
  doi          = {10.1007/978-3-642-11957-6\_12},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/LagoS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/LaneseVF10,
  author       = {Ivan Lanese and
                  C{\'{a}}tia Vaz and
                  Carla Ferreira},
  editor       = {Andrew D. Gordon},
  title        = {On the Expressive Power of Primitives for Compensation Handling},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {366--386},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_20},
  doi          = {10.1007/978-3-642-11957-6\_20},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/LaneseVF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/LavironCR10,
  author       = {Vincent Laviron and
                  Bor{-}Yuh Evan Chang and
                  Xavier Rival},
  editor       = {Andrew D. Gordon},
  title        = {Separating Shape Graphs},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {387--406},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_21},
  doi          = {10.1007/978-3-642-11957-6\_21},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/LavironCR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/LeinoMS10,
  author       = {K. Rustan M. Leino and
                  Peter M{\"{u}}ller and
                  Jan Smans},
  editor       = {Andrew D. Gordon},
  title        = {Deadlock-Free Channels and Locks},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {407--426},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_22},
  doi          = {10.1007/978-3-642-11957-6\_22},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/LeinoMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/LindleyW10,
  author       = {Sam Lindley and
                  Philip Wadler},
  editor       = {Andrew D. Gordon},
  title        = {The Audacity of Hope: Thoughts on Reclaiming the Database Dream},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {1},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_1},
  doi          = {10.1007/978-3-642-11957-6\_1},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/LindleyW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Lochbihler10,
  author       = {Andreas Lochbihler},
  editor       = {Andrew D. Gordon},
  title        = {Verifying a Compiler for Java Threads},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {427--447},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_23},
  doi          = {10.1007/978-3-642-11957-6\_23},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Lochbihler10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/MatsudaMHT10,
  author       = {Kazutaka Matsuda and
                  Shin{-}Cheng Mu and
                  Zhenjiang Hu and
                  Masato Takeichi},
  editor       = {Andrew D. Gordon},
  title        = {A Grammar-Based Approach to Invertible Programs},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {448--467},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_24},
  doi          = {10.1007/978-3-642-11957-6\_24},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/MatsudaMHT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/MeolaW10,
  author       = {Matthew L. Meola and
                  David Walker},
  editor       = {Andrew D. Gordon},
  title        = {Faulty Logic: Reasoning about Fault Tolerant Programs},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {468--487},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_25},
  doi          = {10.1007/978-3-642-11957-6\_25},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/MeolaW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/NakataU10,
  author       = {Keiko Nakata and
                  Tarmo Uustalu},
  editor       = {Andrew D. Gordon},
  title        = {A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of
                  While},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {488--506},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_26},
  doi          = {10.1007/978-3-642-11957-6\_26},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/NakataU10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/NaumannB10,
  author       = {David A. Naumann and
                  Anindya Banerjee},
  editor       = {Andrew D. Gordon},
  title        = {Dynamic Boundaries: Information Hiding by Second Order Framing with
                  First Order Assertions},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {2--22},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_2},
  doi          = {10.1007/978-3-642-11957-6\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/NaumannB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/SouleHGGAKW10,
  author       = {Robert Soul{\'{e}} and
                  Martin Hirzel and
                  Robert Grimm and
                  Bugra Gedik and
                  Henrique Andrade and
                  Vibhore Kumar and
                  Kun{-}Lung Wu},
  editor       = {Andrew D. Gordon},
  title        = {A Universal Calculus for Stream Processing Languages},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {507--528},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_27},
  doi          = {10.1007/978-3-642-11957-6\_27},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/SouleHGGAKW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/SwamyCC10,
  author       = {Nikhil Swamy and
                  Juan Chen and
                  Ravi Chugh},
  editor       = {Andrew D. Gordon},
  title        = {Enforcing Stateful Authorization and Information Flow Policies in
                  Fine},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {529--549},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_28},
  doi          = {10.1007/978-3-642-11957-6\_28},
  timestamp    = {Thu, 03 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/SwamyCC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/TovP10,
  author       = {Jesse A. Tov and
                  Riccardo Pucella},
  editor       = {Andrew D. Gordon},
  title        = {Stateful Contracts for Affine Types},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {550--569},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_29},
  doi          = {10.1007/978-3-642-11957-6\_29},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/TovP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/VardoulakisS10,
  author       = {Dimitrios Vardoulakis and
                  Olin Shivers},
  editor       = {Andrew D. Gordon},
  title        = {{CFA2:} {A} Context-Free Approach to Control-Flow Analysis},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {570--589},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_30},
  doi          = {10.1007/978-3-642-11957-6\_30},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/VardoulakisS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Wenner10,
  author       = {Alexander Wenner},
  editor       = {Andrew D. Gordon},
  title        = {Weighted Dynamic Pushdown Networks},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {590--609},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_31},
  doi          = {10.1007/978-3-642-11957-6\_31},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Wenner10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/WickersonDP10,
  author       = {John Wickerson and
                  Mike Dodds and
                  Matthew J. Parkinson},
  editor       = {Andrew D. Gordon},
  title        = {Explicit Stabilisation for Modular Rely-Guarantee Reasoning},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {610--629},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_32},
  doi          = {10.1007/978-3-642-11957-6\_32},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/WickersonDP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/esop/2010,
  editor       = {Andrew D. Gordon},
  title        = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6},
  doi          = {10.1007/978-3-642-11957-6},
  isbn         = {978-3-642-11956-9},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.