Safe structural conformance for Java

Computer Journal

Volumn 43, Issue 6, 2000, Pages 469-481

  Läufer, Konstantin ^a   Baumgartner, Gerald ^b   Russo, Vincent F ^c  

^a LOYOLA UNIVERSITY CHICAGO   (United States)

^b OHIO STATE UNIVERSITY   (United States)

^c Lycos Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER OPERATING SYSTEMS; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; STRUCTURED PROGRAMMING;

REMOTE METHOD INVOCATION; STRUCTURAL CONFORMANCES;

JAVA PROGRAMMING LANGUAGE;

EID: 0342855238     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/43.6.469     Document Type: Article

References (22)

1. Gosling, J., Joy, B. and Steele, G. (1996) The Java Language Specification, 1.0 edition. Sun Microsystems, Mountain View, CA. HTML version available from http://java.sun.com/docs/books/jls/.
2. Baumgartner, G. and Russo, V. F. (1995) Signatures: a language extension for improving type abstraction and subtype polymorphism in C++. Software - Practice & Experience, 25, 863-889.
3. Sun Microsystems (1997) Java Developers Kit Release 1.1.5. Available from http://java.sun.com/products/jdk/1.1/.
4. Sun Microsystems (1997) Java Remote Method Invocation. Documentation available from http://java.sun.com/products/jdk/rmi/.
5. Ellis, M. and Stroustrup, B. (1990) The Annotated C++ Reference Manual. Addison-Wesley, Reading, MA.
6. Snyder, A. (1986) Encapsulation and inheritance in object-oriented programming languages. In Proc. OOPSLA '86 Conf. on Object-Oriented Programming Systems, Languages, and Applications, Portland, OR, pp. 38-45. ACM SIGPLAN Notices, 21. Association for Computing Machinery.
7. Snyder, A. (1986) Encapsulation and inheritance in object-oriented programming languages. In Proc. OOPSLA '86 Conf. on Object-Oriented Programming Systems, Languages, and Applications, Portland, OR, pp. 38-45. ACM SIGPLAN Notices, 21. Association for Computing Machinery.
8. Sun Microsystems (1997) Java API Documentation. Mountain View, CA. Current version available from http://java.sun.com/products/jdk/1.1/docs/api/packages.html.
9. Baumgartner, G. and Russo, V. F. (1994) Implementing signatures for C++. In Proc. 1994 USENIX C++ Conf., Cambridge, MA, pp. 37-56. USENIX Association.
10. Baumgartner, G. and Russo, V. F. (1997) Implementing signatures for C++. ACM Trans. Program. Languages Syst., 19, 153-187.
11. Cleeland, C., Schmidt, D. C. and Harrison, T. (1997) External polymorphism - an object structural pattern for transparently extending C++ concrete data types. In Martin, R., Riehle, D. and Buschmann, F. (eds), Pattern Languages of Program Design. Software Patterns Series. Addison-Wesley, Reading, MA.
12. Granston, E. D. and Russo, V. F. (1991) Signature-based polymorphism for C++. In Proc. 1991 USENIX C++ Conf., Washington, DC, pp. 65-79. USENIX Association.
13. Cook, W. R. (1995) Array subclassing and Incompatible Type-Exception. Posted to the java-interest@java.sun.com mailing list.
14. America, P. and van der Linden, F. (1990) A parallel object-oriented language with inheritance and subtyping. In Proc. OOPSLA '90 Conf. on Object-Oriented Programming Systems, Languages, and Applications, Ottawa, Canada, pp. 161-168. ACM SIGPLAN Notices, 25. Association for Computing Machinery.
15. America, P. and van der Linden, F. (1990) A parallel object-oriented language with inheritance and subtyping. In Proc. OOPSLA '90 Conf. on Object-Oriented Programming Systems, Languages, and Applications, Ottawa, Canada, pp. 161-168. ACM SIGPLAN Notices, 25. Association for Computing Machinery.
16. Jenks, R. D. and Sutor, R. S. (1992) AXIOM: The Scientific Computation System. Springer-Verlag, New York.
17. Gamma, E., Helm, R., Johnson, R. E. and Vlissides, J. M. (1995) Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley, Reading, MA.
18. Connor, R. C. H., Brown, A. B., Cutts, Q. I., Dearle, A., Morrison, R. and Rosenberg, J. (1990) Type equivalence checking in persistent object systems. In Dearle, A., Shaw, G. M. and Zdonik, S. B. (eds), Implementing Persistent Object Bases, Principles and Practice, pp. 151-164. Morgan Kaufmann, San Francisco, CA. Available from http://www.dcs.stand.ac.uk/rsch/publications/CBC+90ashtml.
19. Morrison, R., Connor, R., Kirby, G. and Munro, D. (1996) Can Java persist? In Proc. 1st International Workshop on Persistence for Java, Glasgow, pp. 34-41. Available as Sun Microsystems Research TR-97-63.
20. Lindholm, T. and Yellin, F. (1996) The Java Virtual Machine Specification. Sun Microsystems, Mountain View, CA. HTML version available from http://java.sun.com/docs/books/vmspec/.
21. Flatt, M., Krishnamurthi, S. and Felleisen, M. (1998) Classes and mixins. In Proc. 25th Ann. ACM Symp. on Principles of Programming Languages (POPL), San Diego, CA, pp. 184-196. ACM Press, New York.
22. Amadio, R. M. and Cardelli, L. (1993) Subtyping recursive types. ACM Trans. Programming Languages Syst., 15, 575-631.