Search dblp for Publications

export results for "toc:db/conf/ecoop/ecoop2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ecoop/BiermanMT10,
  author       = {Gavin M. Bierman and
                  Erik Meijer and
                  Mads Torgersen},
  editor       = {Theo D'Hondt},
  title        = {Adding Dynamic Types to C\({}^{\mbox{{\#}}}\)},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {76--100},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_5},
  doi          = {10.1007/978-3-642-14107-2\_5},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/BiermanMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/BrachaABKMM10,
  author       = {Gilad Bracha and
                  Peter von der Ah{\'{e}} and
                  Vassili Bykov and
                  Yaron Kashai and
                  William Maddox and
                  Eliot Miranda},
  editor       = {Theo D'Hondt},
  title        = {Modules as Objects in Newspeak},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {405--428},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_20},
  doi          = {10.1007/978-3-642-14107-2\_20},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/BrachaABKMM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/Brunthaler10,
  author       = {Stefan Brunthaler},
  editor       = {Theo D'Hondt},
  title        = {Inline Caching Meets Quickening},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {429--451},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_21},
  doi          = {10.1007/978-3-642-14107-2\_21},
  timestamp    = {Mon, 18 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/Brunthaler10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/DhooliaMSS10,
  author       = {Pankaj Dhoolia and
                  Senthil Mani and
                  Vibha Singhal Sinha and
                  Saurabh Sinha},
  editor       = {Theo D'Hondt},
  title        = {Debugging Model-Transformation Failures Using Dynamic Tainting},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {26--51},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_3},
  doi          = {10.1007/978-3-642-14107-2\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/DhooliaMSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/Dinsdale-YoungDGPV10,
  author       = {Thomas Dinsdale{-}Young and
                  Mike Dodds and
                  Philippa Gardner and
                  Matthew J. Parkinson and
                  Viktor Vafeiadis},
  editor       = {Theo D'Hondt},
  title        = {Concurrent Abstract Predicates},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {504--528},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_24},
  doi          = {10.1007/978-3-642-14107-2\_24},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Dinsdale-YoungDGPV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/Ernst10,
  author       = {Erik Ernst},
  editor       = {Theo D'Hondt},
  title        = {Secret Valley},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {379},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_18},
  doi          = {10.1007/978-3-642-14107-2\_18},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Ernst10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/FraineES10,
  author       = {Bruno De Fraine and
                  Erik Ernst and
                  Mario S{\"{u}}dholt},
  editor       = {Theo D'Hondt},
  title        = {Essential {AOP:} The {A} Calculus},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {101--125},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_6},
  doi          = {10.1007/978-3-642-14107-2\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/FraineES10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/GilL10,
  author       = {Joseph Gil and
                  Keren Lenz},
  editor       = {Theo D'Hondt},
  title        = {The Use of Overloading in Java Programs},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {529--551},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_25},
  doi          = {10.1007/978-3-642-14107-2\_25},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/GilL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/GuhaSK10,
  author       = {Arjun Guha and
                  Claudiu Saftoiu and
                  Shriram Krishnamurthi},
  editor       = {Theo D'Hondt},
  title        = {The Essence of JavaScript},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {126--150},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_7},
  doi          = {10.1007/978-3-642-14107-2\_7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/GuhaSK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/HallerO10,
  author       = {Philipp Haller and
                  Martin Odersky},
  editor       = {Theo D'Hondt},
  title        = {Capabilities for Uniqueness and Borrowing},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {354--378},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_17},
  doi          = {10.1007/978-3-642-14107-2\_17},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/HallerO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/Hanenberg10,
  author       = {Stefan Hanenberg},
  editor       = {Theo D'Hondt},
  title        = {Doubts about the Positive Impact of Static Type Systems on Programming
                  Tasks in Single Developer Projects - An Empirical Study},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {300--303},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_14},
  doi          = {10.1007/978-3-642-14107-2\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Hanenberg10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/HarelMW10,
  author       = {David Harel and
                  Assaf Marron and
                  Gera Weiss},
  editor       = {Theo D'Hondt},
  title        = {Programming Coordinated Behavior in Java},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {250--274},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_12},
  doi          = {10.1007/978-3-642-14107-2\_12},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/HarelMW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/HeideggerT10,
  author       = {Phillip Heidegger and
                  Peter Thiemann},
  editor       = {Theo D'Hondt},
  title        = {Recency Types for Analyzing Scripting Languages},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {200--224},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_10},
  doi          = {10.1007/978-3-642-14107-2\_10},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/HeideggerT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/HermansPD10,
  author       = {Felienne Hermans and
                  Martin Pinzger and
                  Arie van Deursen},
  editor       = {Theo D'Hondt},
  title        = {Automatically Extracting Class Diagrams from Spreadsheets},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {52--75},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_4},
  doi          = {10.1007/978-3-642-14107-2\_4},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/HermansPD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/HuKPYH10,
  author       = {Raymond Hu and
                  Dimitrios Kouzapas and
                  Olivier Pernet and
                  Nobuko Yoshida and
                  Kohei Honda},
  editor       = {Theo D'Hondt},
  title        = {Type-Safe Eventful Sessions in Java},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {329--353},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_16},
  doi          = {10.1007/978-3-642-14107-2\_16},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/HuKPYH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/Lea10,
  author       = {Doug Lea},
  editor       = {Theo D'Hondt},
  title        = {Code Roots},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {1},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_1},
  doi          = {10.1007/978-3-642-14107-2\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Lea10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/MonperrusBM10,
  author       = {Martin Monperrus and
                  Marcel Bruch and
                  Mira Mezini},
  editor       = {Theo D'Hondt},
  title        = {Detecting Missing Method Calls in Object-Oriented Software},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {2--25},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_2},
  doi          = {10.1007/978-3-642-14107-2\_2},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/MonperrusBM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/OstrowskiSB10,
  author       = {Krzysztof Ostrowski and
                  Chuck Sakoda and
                  Ken Birman},
  editor       = {Theo D'Hondt},
  title        = {Self-Replicating Objects for Multicore Platforms},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {452--477},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_22},
  doi          = {10.1007/978-3-642-14107-2\_22},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/OstrowskiSB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/Owens10,
  author       = {Scott Owens},
  editor       = {Theo D'Hondt},
  title        = {Reasoning about the Implementation of Concurrency Abstractions on
                  x86-TSO},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {478--503},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_23},
  doi          = {10.1007/978-3-642-14107-2\_23},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Owens10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/RenggliGN10,
  author       = {Lukas Renggli and
                  Tudor G{\^{\i}}rba and
                  Oscar Nierstrasz},
  editor       = {Theo D'Hondt},
  title        = {Embedding Languages without Breaking Tools},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {380--404},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_19},
  doi          = {10.1007/978-3-642-14107-2\_19},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/RenggliGN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/SamimiAM10,
  author       = {Hesam Samimi and
                  Ei Darli Aung and
                  Todd D. Millstein},
  editor       = {Theo D'Hondt},
  title        = {Falling Back on Executable Specifications},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {552--576},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_26},
  doi          = {10.1007/978-3-642-14107-2\_26},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/SamimiAM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/SchaferDSTT10,
  author       = {Max Sch{\"{a}}fer and
                  Julian Dolby and
                  Manu Sridharan and
                  Emina Torlak and
                  Frank Tip},
  editor       = {Theo D'Hondt},
  title        = {Correct Refactoring of Concurrent Java Code},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {225--249},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_11},
  doi          = {10.1007/978-3-642-14107-2\_11},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/SchaferDSTT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/SchaferP10,
  author       = {Jan Sch{\"{a}}fer and
                  Arnd Poetzsch{-}Heffter},
  editor       = {Theo D'Hondt},
  title        = {JCoBox: Generalizing Active Objects to Concurrent Components},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {275--299},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_13},
  doi          = {10.1007/978-3-642-14107-2\_13},
  timestamp    = {Mon, 30 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/SchaferP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/StadenCM10,
  author       = {Stephan van Staden and
                  Cristiano Calcagno and
                  Bertrand Meyer},
  editor       = {Theo D'Hondt},
  title        = {Verifying Executable Object-Oriented Specifications with Separation
                  Logic},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {151--174},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_8},
  doi          = {10.1007/978-3-642-14107-2\_8},
  timestamp    = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/StadenCM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/SvendsenBP10,
  author       = {Kasper Svendsen and
                  Lars Birkedal and
                  Matthew J. Parkinson},
  editor       = {Theo D'Hondt},
  title        = {Verifying Generics and Delegates},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {175--199},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_9},
  doi          = {10.1007/978-3-642-14107-2\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/SvendsenBP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/VaziriTDHV10,
  author       = {Mandana Vaziri and
                  Frank Tip and
                  Julian Dolby and
                  Christian Hammer and
                  Jan Vitek},
  editor       = {Theo D'Hondt},
  title        = {A Type System for Data-Centric Synchronization},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {304--328},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_15},
  doi          = {10.1007/978-3-642-14107-2\_15},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/VaziriTDHV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/ZaeemK10,
  author       = {Razieh Nokhbeh Zaeem and
                  Sarfraz Khurshid},
  editor       = {Theo D'Hondt},
  title        = {Contract-Based Data Structure Repair Using Alloy},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {577--598},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_27},
  doi          = {10.1007/978-3-642-14107-2\_27},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/ZaeemK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ecoop/2010,
  editor       = {Theo D'Hondt},
  title        = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2},
  doi          = {10.1007/978-3-642-14107-2},
  isbn         = {978-3-642-14106-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/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.