Generic wrappers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1850, Issue , 2000, Pages 201-225

  Büchi, Martin ^a   Weck, Wolfgang ^b  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

^b Oberon microsystems   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY;

BINARY COMPONENTS; CLASS-BASED LANGUAGES; COMPONENT SOFTWARE; COMPOUND DOCUMENT; FEATURE COMBINATION; LANGUAGE CONSTRUCTS; MODULAR REASONING; PROOF OF CONCEPT;

OBJECT ORIENTED PROGRAMMING;

EID: 84957806706     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45102-1_10     Document Type: Conference Paper

References (32)

1. Pierre America. Designing an object-oriented programming language with behavioral subtyping. In Foundations of Object-Oriented Languages, REX School/Workshop, pages 60–90. LNCS 489, Springer Verlag, 1991.
2. Viviana Bono, Amit Patel, and Vitaly Shmatikov. A core calculus of classes and mixins. In Proceedings of ECOOP’99, pages 43–66. LNCS 1628, Springer Verlag, 1999.
3. Martin Büchi and Wolfgang Weck. Compound types for Java. In Proceedings of OOPSLA’98, pages 362–373. ACM Press, 1998. http://www.abo.fi/˜mbuechi/.
4. Martin Büchi and Wolfgang Weck. Generic wrapping. Technical Report 317, Turku Centre for Computer Science, March 2000. http://www.abo.fi/˜mbuechi/.
5. Craig Chambers. The Cecil language: Specification & rationale (version 2.1). Technical report, University ofWashington, March 1997.
6. Erik Ernst. gbeta – a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. PhD thesis, Department of Computer Science, University of Aarhus, Denmark, 1999.
7. Kathleen Fisher and John C. Mitchell. Notes on typed object-oriented programming. In Proceeding of Theoretical Aspects of Computer Software, pages 844–885. LNCS 789, Springer Verlag, 1994.
8. Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. Classes and mixins. In Proc. 25th ACM Symp. Principles of Programming Languages, pages 171–183. ACM Press, 1998.
9. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
10. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. AddisonWesley, 1996.
11. William Harrison, Harold Ossher, and Peri Tarr. Using delegation for software and subject composition. Technical Report RC-20946 (92722), IBM Research Division, T.J. Watson Research Center, August 1997.
12. John Hogg. Islands: Aliasing protection in object-oriented languages. In Proceedings of OOPSLA’91, pages 271–285. ACM Press, 1991.
13. Ralph Keller and Urs Hölzle. Binary component adaptation. In Proceedings of ECOOP’98, pages 307–329. LNCS 1445, Springer Verlag, 1998.
14. Gregor Kiczales et al. Aspect-oriented programming. In Proceedings of ECOOP’97, pages 220–242. LNCS 1241, Springer Verlag, 1997.
15. Günter Kniesel. Type-safe delegation for run-time component adaptation. In Proceedings of ECOOP’99. LNCS 1628, Springer Verlag, 1999.
16. Henry Lieberman. Using prototypical objects to implement shared behavior in object-oriented systems. In Proceedings of OOPSLA’86, pages 214–223. ACM Press, 1986.
17. Bertrand Meyer. Eiffel: The Language. Prentice Hall, second edition, 1992.
18. Mira Mezini. Dynamic object evolution without name collisions. In Proceedings of ECOOP’97, pages 190–219. LNCS 1241, Springer Verlag, 1997.
19. Leonid Mikhajlov and Emil Sekerinski. A study of the fragile base class problem. In Proceedings of ECOOP’98, pages 355–374. LNCS 1445, Springer Verlag, 1998.
20. NeXTSoftware, Inc. Object-Oriented Programming and the Objective-C Language. Addison- Wesley, 1993.
21. Object Management Group. CORBA components, 1999. Revision February 15, 1999, formal document orbos/99-02-01, http://www.omg.org.
22. Geoff Outhred and John Potter. Extending COM’s aggregation model. In Component- Oriented Software Engineering Workshop (in conjunction with the Australian Software Engineering Conference), 1998.
23. Lawrence C. Paulson. Isabelle: A Generic Theorem Prover. LNCS 828, Springer Verlag, 1994.
24. Didier Rémy. Typechecking records and variants in a natural extension of ML. In Proc. 16th ACM Symp. Principles of Programming Languages, pages 242–249. ACM Press, 1989.
25. Dale Rogerson. Inside COM. Microsoft Press, 1996.
26. A. Snyder. Encapsulation and inheritance in object-oriented programming languages. In Proceedings of OOPSLA’86, pages 38–45. ACM Press, 1986.
27. Patrick Steyaert and Wolfgang De Meuter. A marriage of class- and object-based inheritance without unwanted children. In Proceedings of ECOOP’95, pages 127–144. LNCS 952, Springer Verlag, 1995.
28. Bjarne Stroustrup. The C++ Programming Language. AddisonWesley, third edition, 1997.
29. Sun Microsystems, Inc. Java Beans, 1997. http://java.sun.com/beans/.
30. Clemens A. Szyperski. Component Software – Beyond Object-Oriented Programming. Addison-Wesley, 1997.
31. D. Ungar and R.B. Smith. Self: The power of simplicity. In Proceedings of OOPSLA’87, pages 227–241. ACM Press, 1987.
32. David von Oheimb and Tobias Nipkow. Machine-checking the Java specification: Proving type-safety. In Jim Alves-Foss, editor, Formal Syntax and Semantics of Java, pages 119–156. LNCS 1523, Springer Verlag, 1999.