Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ecoop/Abadi03,
  author       = {Mart{\'{\i}}n Abadi},
  editor       = {Luca Cardelli},
  title        = {Built-in Object Security},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {1},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_1},
  doi          = {10.1007/978-3-540-45070-2\_1},
  timestamp    = {Sun, 02 Jun 2019 21:16:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Abadi03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AldrichSCN03,
  author       = {Jonathan Aldrich and
                  Vibha Sazawal and
                  Craig Chambers and
                  David Notkin},
  editor       = {Luca Cardelli},
  title        = {Language Support for Connector Abstractions},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {74--102},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_5},
  doi          = {10.1007/978-3-540-45070-2\_5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/AldrichSCN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BorbaSC03,
  author       = {Paulo Borba and
                  Augusto Sampaio and
                  M{\'{a}}rcio Corn{\'{e}}lio},
  editor       = {Luca Cardelli},
  title        = {A Refinement Algebra for Object-Oriented Programming},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {457--482},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_20},
  doi          = {10.1007/978-3-540-45070-2\_20},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/BorbaSC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ClarkeW03,
  author       = {Dave Clarke and
                  Tobias Wrigstad},
  editor       = {Luca Cardelli},
  title        = {External Uniqueness Is Unique Enough},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {176--200},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_9},
  doi          = {10.1007/978-3-540-45070-2\_9},
  timestamp    = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/ClarkeW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ConradiMAHBP03,
  author       = {Reidar Conradi and
                  Parastoo Mohagheghi and
                  Tayyaba Arif and
                  Lars Christian Hegde and
                  Geir Arne Bunde and
                  Anders Pedersen},
  editor       = {Luca Cardelli},
  title        = {Object-Oriented Reading Techniques for Inspection of {UML} Models
                  - An Industrial Experiment},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {483--500},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_21},
  doi          = {10.1007/978-3-540-45070-2\_21},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/ConradiMAHBP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Ernst03,
  author       = {Erik Ernst},
  editor       = {Luca Cardelli},
  title        = {Higher-Order Hierarchies},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {303--328},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_14},
  doi          = {10.1007/978-3-540-45070-2\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Ernst03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FernandezS03,
  author       = {Mary F. Fern{\'{a}}ndez and
                  J{\'{e}}r{\^{o}}me Sim{\'{e}}on},
  editor       = {Luca Cardelli},
  title        = {Growing XQuery},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {405--430},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_18},
  doi          = {10.1007/978-3-540-45070-2\_18},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/FernandezS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GapeyevP03,
  author       = {Vladimir Gapeyev and
                  Benjamin C. Pierce},
  editor       = {Luca Cardelli},
  title        = {Regular Object Types},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {151--175},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_8},
  doi          = {10.1007/978-3-540-45070-2\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/GapeyevP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Grothoff03,
  author       = {Christian Grothoff},
  editor       = {Luca Cardelli},
  title        = {Walkabout Revisited: The Runabout},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {103--125},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_6},
  doi          = {10.1007/978-3-540-45070-2\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Grothoff03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Gunter03,
  author       = {Carl A. Gunter},
  editor       = {Luca Cardelli},
  title        = {Open APIs for Embedded Security},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {225--247},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_11},
  doi          = {10.1007/978-3-540-45070-2\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/Gunter03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HenkelD03,
  author       = {Johannes Henkel and
                  Amer Diwan},
  editor       = {Luca Cardelli},
  title        = {Discovering Algebraic Specifications from Java Classes},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {431--456},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_19},
  doi          = {10.1007/978-3-540-45070-2\_19},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/HenkelD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JagadeesanJR03,
  author       = {Radha Jagadeesan and
                  Alan Jeffrey and
                  James Riely},
  editor       = {Luca Cardelli},
  title        = {A Calculus of Untyped Aspect-Oriented Programs},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {54--73},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_4},
  doi          = {10.1007/978-3-540-45070-2\_4},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/JagadeesanJR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LamR03,
  author       = {Patrick Lam and
                  Martin C. Rinard},
  editor       = {Luca Cardelli},
  title        = {A Type System and Analysis for the Automatic Extraction and Enforcement
                  of Design Information},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {275--302},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_13},
  doi          = {10.1007/978-3-540-45070-2\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/LamR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MasuharaK03,
  author       = {Hidehiko Masuhara and
                  Gregor Kiczales},
  editor       = {Luca Cardelli},
  title        = {Modeling Crosscutting in Aspect-Oriented Mechanisms},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {2--28},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_2},
  doi          = {10.1007/978-3-540-45070-2\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/MasuharaK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MitchellS03,
  author       = {Nick Mitchell and
                  Gary Sevitsky},
  editor       = {Luca Cardelli},
  title        = {LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks
                  in Large Java Applications},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {351--377},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_16},
  doi          = {10.1007/978-3-540-45070-2\_16},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/MitchellS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OderskyCRZ03,
  author       = {Martin Odersky and
                  Vincent Cremet and
                  Christine R{\"{o}}ckl and
                  Matthias Zenger},
  editor       = {Luca Cardelli},
  title        = {A Nominal Theory of Objects with Dependent Types},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {201--224},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_10},
  doi          = {10.1007/978-3-540-45070-2\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/OderskyCRZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PalaczV03,
  author       = {Krzysztof Palacz and
                  Jan Vitek},
  editor       = {Luca Cardelli},
  title        = {Java Subtype Tests in Real-Time},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {378--404},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_17},
  doi          = {10.1007/978-3-540-45070-2\_17},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/PalaczV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PopoviciAG03,
  author       = {Andrei Popovici and
                  Gustavo Alonso and
                  Thomas R. Gross},
  editor       = {Luca Cardelli},
  title        = {Spontaneous Container Services},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {29--53},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_3},
  doi          = {10.1007/978-3-540-45070-2\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/PopoviciAG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ScharliDNB03,
  author       = {Nathanael Sch{\"{a}}rli and
                  St{\'{e}}phane Ducasse and
                  Oscar Nierstrasz and
                  Andrew P. Black},
  editor       = {Luca Cardelli},
  title        = {Traits: Composable Units of Behaviour},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {248--274},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_12},
  doi          = {10.1007/978-3-540-45070-2\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/ScharliDNB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ShriraT03,
  author       = {Liuba Shrira and
                  Hong Tian},
  editor       = {Luca Cardelli},
  title        = {{MX:} Mobile Object Exchange for Collaborative Applications},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {126--150},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_7},
  doi          = {10.1007/978-3-540-45070-2\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/ShriraT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ZibinG03,
  author       = {Yoav Zibin and
                  Joseph Gil},
  editor       = {Luca Cardelli},
  title        = {Two-Dimensional Bi-directional Object Layout},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {329--350},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_15},
  doi          = {10.1007/978-3-540-45070-2\_15},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/ZibinG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2003,
  editor       = {Luca Cardelli},
  title        = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/b11832},
  doi          = {10.1007/B11832},
  isbn         = {3-540-40531-3},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}