Compound Types for Java

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 33, Issue 10, 1998, Pages 362-373

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

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0348137519     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/286942.286975     Document Type: Article

References (36)

1. Ole Agesen, Stephen N. Freund, and John C. Mitchell. Adding type parameterization to the Java language. In Proceedings of OOPSLA '97, pages 49-65. ACM Press, 1997.
2. Kim B. Bruce, Robert van Gent, and Angela Schuett. Poly-TOIL: A type-safe polymorphic object-oriented language. In Proceedings of ECOOP '95, pages 27-51. LNCS 952, Springer Verlag, 1995.
3. Martin Büuchi and Wolfgang Weck. Java needs compound types. Technical Report 182, Turku Centre for Computer Science, 1998. http://www.tucs.fi/publications/techreports/TR182.html.
4. Luca Cardelli. Type systems. In Handbook of Computer Science and Engineering, chapter 103. CRC Press, 1997. http://www.luca.demon.co.uk/Papers.html.
5. Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordanand Bill Kalsow, and Greg Nelson. Modula-3 report (revised). Research Report 52, Systems Research Center, Digital Equipment Corporation, Palo Alto, November 1989. http://www.research.digital.com/src/m3defn/html/.
6. David Chappell. Understanding ActiveX and OLE. Microsoft Press, 1996.
7. Netscape Communications. Netscape Plug-Ins, 1998. http://developer.netscape.com/docs/manuals/communicator/plugin/index.htm.
8. William Cook. A proposal for making Eiffel type-safe. In Proceedings of ECOOP '89, pages 57-70. Cambridge University Press, 1989.
9. M. Coppo and M. Dezani-Ciancaglini. A new type assignment for λ-terms. Archiv. Math. Logik, 19:139-156, 1978.
10. Brad Cox. Planning the software industrial revolution. Software Technologies of the 90's special issue of IEEE Software magazine, November 1990.
11. B. Gomes, D. Stoutamire, B. Weisssman, and H. Klawitter. Sather 1.1 : Language essentials, 1998. http://www.icsi.berkeley.edu/~sather/Documentation/LanguageDescription/contents. html.
12. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison Wesley, 1996.
13. Object Management Group. The common object request broker: Architecture and specification, 1997. Revision 2.0, formal document 97-02-25, http://www.omg.org.
14. Rosziati Ibrahim and Clemens Szyperski. The COMEL language. Technical Report FIT-TR-97-06, Faculty of Information Technology, Queensland University of Technology, Brisbane, Australia, 1997. http://www.fit.qut.edu.au/TR/techreports/FIT-TR-97-06.ps.Z.
15. Ralph Keller and Urs Hölzle. Binary component adaptation. In Proceedings of ECOOP '98. LNCS, Springer Verlag, 1998. http://www.cs.ucsb.edu/oocsb/papers/ecoop98.html.
16. Konstantin Läufer, Gerald Baumgartner, and Vincent F. Russo. Safe structural conformance for Java. Technical Report CSD-TR-96-077, Department of Computer Science, Purdue University, 1996.
17. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison Wesley, 1996.
18. Lingsoft. Orthografix: Finnish proofing tools for Microsoft Word, 1998. http://www.lingsoft.fi/.
19. Barbara H. Liskov and Jeanette M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811-1841, November 1994.
20. Boris Magnusson. Code reuse considered harmful. Journal of Object-Oriented Programming, 4(3):8, November 1991.
21. Michael Mattsson and Jan Bosch. Framework composition: Problems, causes and solutions. In Proceedings of TOOLS USA 97, 1997.
22. McIllroy. Mass-produced software components. In Peter Naur, Brian Randell, and J. N. Buxton, editors, Software engineering: concepts and techniques: proceedings of the NATO conferences. The Conference on Software Engineering held in Garmisch, Germany, 7th to 11th October 1968. Petrocelli/Charter, 1976.
23. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, second edition, 1997.
24. Anna Mikhajlova and Emil Sekerinski. Class refinement and interface refinement in object-oriented programs. In Proceedings of FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, pages 82-101. LNCS 1313, Springer Verlag, 1997.
25. NeXT Software, Inc. Object-Oriented Programming and the Objective-C Language. Addison-Wesley, 1993. http://developer.apple.com/techpubs/rhapsody/ObjectiveC/.
26. light is type-safe - definitely. In Proc. 25th ACM Symp. Principles of Programming Languages, pages 161-170. ACM Press, 1998.
27. Lawrence C. Paulson. Isabelle: A Generic Theorem Prover. LNCS 828, Springer Verlag, 1994. See also http://www.cl.cam.ac.uk/Research/HVG/isabelle.html.
28. Roly Perera and Peter Bertelsen. The unofficial Java spec report, 1997. http://www.nodule.demon.co.uk/java/java-1.0spec-bugs.htm.
29. Cuno Pfister. Component software: A case study using Black-Box components (online tutorial of the BlackBox Component Builder), 1997. http://www.oberon.ch.
30. Benjamin C. Pierce. Intersection types and bounded polymorphism. Mathematical Structures in Computer Science, 7(2): 129-193, April 1997.
31. John C. Reynolds. Design of the programming language Forsythe. In Algol-like Languages, volume 1, pages 173-234. Birkhäuser, 1997. Also available as CMU-CS-96-146, ftp://reports.adm.cs.cmu.edu/usr/anon/1996/CMU-CS-96-146.ps.gz.
32. Dale Rogerson. Inside COM. Microsoft Press, 1996. See also http://www.microsoft.com/com/.
33. P. Sallé. Une extension de la théory des types en λ-calcul. In Proceedings of Automata, Languages and Programming, pages 398-410. LNCS 61, Springer Verlag, 1978.
34. Sun Microsystems, Inc. Java Beans, 1997. http://splash.javasoft.com/beans/.
35. Clemens Szyperski. Component Software : Beyond Objectoriented Programming. Addison-Wesley, 1998.
36. David von Oheimb and Tobias Nipkow. Machine-checking the Java specification: Proving type-safety. In Jim AlvesFoss, editor, Formal Syntax and Semantics of Java. LNCS, Springer Verlag, 1998, to appear.