Uni-Logo

papers.bib

@INPROCEEDINGS{UngarSmith1987,
  AUTHOR = {David Ungar and Randall B. Smith},
  TITLE = {Self: The power of simplicity},
  BOOKTITLE = {OOPSLA '87: Conference proceedings on Object-oriented programming systems, languages and applications},
  YEAR = {1987},
  ISBN = {0-89791-247-0},
  PAGES = {227--242},
  LOCATION = {Orlando, Florida, United States},
  DOI = {http://doi.acm.org/10.1145/38765.38828},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}
      

@INPROCEEDINGS{NygaardDahl1978,
  AUTHOR = {Kristen Nygaard and Ole-Johan Dahl},
  TITLE = {The development of the SIMULA languages},
  BOOKTITLE = {HOPL-1: The first ACM SIGPLAN  conference on History of programming languages},
  YEAR = {1978},
  PAGES = {245--272},
  LOCATION = {Los Angeles, CA},
  DOI = {http://doi.acm.org/10.1145/800025.808391},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}

@INPROCEEDINGS{Kay1993,
  AUTHOR = {Alan C. Kay},
  TITLE = {The early history of Smalltalk},
  BOOKTITLE = {HOPL-II: The second ACM SIGPLAN conference on History of programming languages},
  YEAR = {1993},
  ISBN = {0-89791-570-4},
  PAGES = {69--95},
  LOCATION = {Cambridge, Massachusetts, United States},
  DOI = {http://doi.acm.org/10.1145/154766.155364},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}

@ARTICLE{DucasseNierstraszSchaerliWuytsBlack2006,
  AUTHOR = {Stephane Ducasse and Oscar Nierstrasz and Nathanael Schärli and Roel Wuyts and Andrew P. Black},
  TITLE = {Traits: A mechanism for fine-grained reuse},
  JOURNAL = {ACM Trans. Program. Lang. Syst.},
  VOLUME = {28},
  NUMBER = {2},
  YEAR = {2006},
  ISSN = {0164-0925},
  PAGES = {331--388},
  DOI = {http://doi.acm.org/10.1145/1119479.1119483},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}

@INPROCEEDINGS{BrachaCook1990,
  AUTHOR = {Gilad Bracha and William Cook},
  TITLE = {Mixin-based inheritance},
  BOOKTITLE = {OOPSLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications},
  YEAR = {1990},
  ISBN = {0-201-52430-X},
  PAGES = {303--311},
  LOCATION = {Ottawa, Canada},
  DOI = {http://doi.acm.org/10.1145/97945.97982},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}

@ARTICLE{IgarashiPierceWadler2001,
  AUTHOR = {Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler},
  TITLE = {Featherweight Java: a minimal core calculus for Java and GJ},
  JOURNAL = {ACM Trans. Program. Lang. Syst.},
  VOLUME = {23},
  NUMBER = {3},
  YEAR = {2001},
  ISSN = {0164-0925},
  PAGES = {396--450},
  DOI = {http://doi.acm.org/10.1145/503502.503505},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}

@INPROCEEDINGS{FlattKrishnamurthiFelleisen1999,
  AUTHOR = {Matthew Flatt and
               Shriram Krishnamurthi and
               Matthias Felleisen},
  TITLE = {A Programmer's Reduction Semantics for Classes and Mixins.},
  BOOKTITLE = {Formal Syntax and Semantics of Java},
  YEAR = {1999},
  PAGES = {241-269},
  EE = {http://link.springer.de/link/service/series/0558/bibs/1523/15230241.htm},
  CROSSREF = {DBLP:conf/java/1999formal},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@PROCEEDINGS{DBLP:conf/java/1999formal,
  EDITOR = {Jim Alves-Foss},
  TITLE = {Formal Syntax and Semantics of Java},
  BOOKTITLE = {Formal Syntax and Semantics of Java},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {1523},
  YEAR = {1999},
  ISBN = {3-540-66158-1},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{BiermanWren2005,
  AUTHOR = {Gavin M. Bierman and
               Alisdair Wren},
  TITLE = {First-Class Relationships in an Object-Oriented Language.},
  BOOKTITLE = {ECOOP},
  YEAR = {2005},
  PAGES = {262-286},
  EE = {http://dx.doi.org/10.1007/11531142_12},
  CROSSREF = {DBLP:conf/ecoop/2005},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@PROCEEDINGS{DBLP:conf/ecoop/2005,
  EDITOR = {Andrew P. Black},
  TITLE = {ECOOP 2005 - Object-Oriented Programming, 19th European
               Conference, Glasgow, UK, July 25-29, 2005, Proceedings},
  BOOKTITLE = {ECOOP},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {3586},
  YEAR = {2005},
  ISBN = {3-540-27992-X},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Rumbaugh1987,
  AUTHOR = {James Rumbaugh},
  TITLE = {Relations as semantic constructs in an object-oriented language},
  BOOKTITLE = {OOPSLA '87: Conference proceedings on Object-oriented programming systems, languages and applications},
  YEAR = {1987},
  ISBN = {0-89791-247-0},
  PAGES = {466--481},
  LOCATION = {Orlando, Florida, United States},
  DOI = {http://doi.acm.org/10.1145/38765.38850},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}

@INPROCEEDINGS{CobbeFelleisen2005,
  AUTHOR = {Richard Cobbe and Matthias Felleisen},
  TITLE = {Environmental acquisition revisited},
  BOOKTITLE = {POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  YEAR = {2005},
  ISBN = {1-58113-830-X},
  PAGES = {14--25},
  LOCATION = {Long Beach, California, USA},
  DOI = {http://doi.acm.org/10.1145/1040305.1040307},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}

@INPROCEEDINGS{AldrichKostadinovChambers2002,
  AUTHOR = {Jonathan Aldrich and Valentin Kostadinov and Craig Chambers},
  TITLE = {Alias annotations for program understanding},
  BOOKTITLE = {OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
  YEAR = {2002},
  ISBN = {1-58113-471-1},
  PAGES = {311--330},
  LOCATION = {Seattle, Washington, USA},
  DOI = {http://doi.acm.org/10.1145/582419.582448},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}

@ARTICLE{ZhaoPalsbergVitek2006,
  AUTHOR = {Tian Zhao and Jens Palsberg and Jan Vitek},
  TITLE = {Type-based confinement},
  JOURNAL = {Journal of Functional Programming},
  VOLUME = {16},
  NUMBER = {1},
  YEAR = {2006},
  PAGES = {83-128},
  EE = {http://dx.doi.org/10.1017/S0956796805005691}
}

@INPROCEEDINGS{FahndrichDeLine2002,
  AUTHOR = {Manuel Fahndrich and Robert DeLine},
  TITLE = {Adoption and focus: practical linear types for imperative programming},
  BOOKTITLE = {PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation},
  YEAR = {2002},
  ISBN = {1-58113-463-0},
  PAGES = {13--24},
  LOCATION = {Berlin, Germany},
  DOI = {http://doi.acm.org/10.1145/512529.512532},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}

@INPROCEEDINGS{NandaGrothoffChandra2005,
  AUTHOR = {Mangala Gowri Nanda and Christian Grothoff and Satish Chandra},
  TITLE = {Deriving object typestates in the presence of inter-object references},
  BOOKTITLE = {OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications},
  YEAR = {2005},
  ISBN = {1-59593-031-0},
  PAGES = {77--96},
  LOCATION = {San Diego, CA, USA},
  DOI = {http://doi.acm.org/10.1145/1094811.1094818},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}

@INPROCEEDINGS{Dezani-CiancagliniMostrousYoshidaDrossopoulou2006,
  AUTHOR = {Mariangiola Dezani-Ciancaglini and Dimitris Mostrous and Nobuko Yoshida and Sophia Drossopoulou},
  TITLE = {Session Types for Object-Oriented Languages},
  BOOKTITLE = {ECOOP},
  YEAR = {2006},
  CROSSREF = {DBLP:conf/ecoop/2006}
}

@PROCEEDINGS{DBLP:conf/ecoop/2006,
  EDITOR = {Andrew P. Black},
  TITLE = {ECOOP 2006 - Object-Oriented Programming, 20th European
               Conference, Nantes, France, July 3-7, 2006, Proceedings},
  BOOKTITLE = {ECOOP},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  YEAR = {2006}
}

@ARTICLE{CliftonMillsteinLeavensChambers2006,
  AUTHOR = {Curtis Clifton and Todd Millstein and Gary T. Leavens and Craig Chambers},
  TITLE = {MultiJava: Design rationale, compiler implementation, and applications},
  JOURNAL = {ACM Trans. Program. Lang. Syst.},
  VOLUME = {28},
  NUMBER = {3},
  YEAR = {2006},
  ISSN = {0164-0925},
  PAGES = {517--575},
  DOI = {http://doi.acm.org/10.1145/1133651.1133655},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}

@INPROCEEDINGS{ErnstOstermannCook2006,
  AUTHOR = {Erik Ernst and Klaus Ostermann and William R. Cook},
  TITLE = {A virtual class calculus},
  BOOKTITLE = {POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  YEAR = {2006},
  ISBN = {1-59593-027-2},
  PAGES = {270--282},
  LOCATION = {Charleston, South Carolina, USA},
  DOI = {http://doi.acm.org/10.1145/1111037.1111062},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA}
}

@INPROCEEDINGS{Ernst2003,
  AUTHOR = {Erik Ernst},
  TITLE = {Higher-Order Hierarchies.},
  BOOKTITLE = {ECOOP},
  YEAR = {2003},
  PAGES = {303-328},
  EE = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2743{\&}spage=303},
  CROSSREF = {DBLP:conf/ecoop/2003},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@PROCEEDINGS{DBLP:conf/ecoop/2003,
  EDITOR = {Luca Cardelli},
  TITLE = {ECOOP 2003 - Object-Oriented Programming, 17th European
               Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings},
  BOOKTITLE = {ECOOP},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {2743},
  YEAR = {2003},
  ISBN = {3-540-40531-3},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{BruceFoster2004,
  AUTHOR = {Kim B. Bruce and
               J. Nathan Foster},
  TITLE = {LOOJ: Weaving LOOM into Java.},
  BOOKTITLE = {ECOOP},
  YEAR = {2004},
  PAGES = {389-413},
  EE = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3086{\&}spage=389},
  CROSSREF = {DBLP:conf/ecoop/2004},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@PROCEEDINGS{DBLP:conf/ecoop/2004,
  EDITOR = {Martin Odersky},
  TITLE = {ECOOP 2004 - Object-Oriented Programming, 18th European
               Conference, Oslo, Norway, June 14-18, 2004, Proceedings},
  BOOKTITLE = {ECOOP},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {3086},
  YEAR = {2004},
  ISBN = {3-540-22159-X},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

This file has been generated by bibtex2html 1.76