Kava: A Java dialect with a uniform object model for lightweight classes

Concurrency and Computation: Practice and Experience

Volumn 15, Issue 3-5 SPEC., 2003, Pages 185-206

  Bacon, David F ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Java; Lightweight classes; Object inlining; Object models; Unboxing

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER SIMULATION; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

JAVA DIALECT; SEMANTIC EXPANSION;

JAVA PROGRAMMING LANGUAGE;

EID: 0037374193     PISSN: 15320626     EISSN: None     Source Type: Journal    
DOI: 10.1002/cpe.653     Document Type: Article

References (28)

1. Wu P, Midkiff S, Moreira J, Gupta M. Efficient support for complex numbers in Java. ACM Java Grande Conference. ACM Press: New York, NY, 1999.
2. Charles P, Shields D. The Jikes project. oss.software.ibm.com [1999].
3. Burke M et al. The Jalapeño dynamic optimizing compiler for Java. ACM Java Grande Conference. ACM Press: New York, NY, 1999.
4. Gosling J, Joy B, Steele G, Bracha G. The Java Language Specification (The Java Series) (2nd edn). Addison-Wesley: Reading, MA, 2000.
5. Steele Jr. GL. New models for numerical computing in the Java programming language. Proceedings of the Joint ACM Java Grande/ISCOPE Conference, Stanford, California, June 2001. ACM Press: New York, NY, 2001.
6. Pugh W. Fixing the Java memory model. Proceedings of the ACM Java Grande Conference. ACM Press: New York, NY, 1999.
7. Bracha G, Odersky M, Stoutamire D, Wadler P. Making the future safe for the past: Adding genericity to the Java programming language. OOPSLA Conference Proceedings: Object-Oriented Programming Systems, Languages, and Applications. ACM Press: New York, NY, 1998; 183-200.
8. Bloch J. Effective Java Programming. Addison-Wesley: Reading, MA, 2001.
9. Numerics Working Group, Java Grande Forum. Improving Java for numerical computation. math.nist.gov/javanumerics/reports/jgfnwg-01.html [1998].
10. Gosling J. The evolution of numerical computing in Java. java.sun.com/people/jag/FP.html [1998].
11. Yelick K. et al. Titanium: A high-performance Java dialect. ACM Workshop on Java for High-Performance Network Computing. ACM Press: New York, NY, 1998.
12. Darcy JD. Borneo 1.0: Adding IEEE 754 floating-point support to Java. Master's Thesis. Computer Science Division. University of California, Berkeley, CA, 1998.
13. Brophy J. Complex numbers in Java. Poster presentation. ACM Java Grande Conference, 1999.
14. Philippsen M. Günthner E. cj: A new approach for the efficient use of complex numbers in Java. www.ipd.ira.uka.de/JavaParty/cj [1999].
15. Leroy X. Unboxed objects and polymorphic subtyping. Conference Record of the Nineteenth ACM Symposium on Principles of Programming Languages, January 1992. ACM Press: New York, NY, 1992; 177-188.
16. Leroy X. The effectiveness of type-based unboxing. Workshop on Types in Compilation, June 1997, Technical Report BCCS-97-03, Computer Science Department, Boston College.
17. Morrison R, Dearle A, Connor RCH, Brown AL. An ad-hoc approach to the implementation of polymorphism. ACM Transactions on Programming Languages and Systems 1991: 13(3): 342-371.
18. Peyton Jones SL, Launchbury J. Unboxed values as first class citizens. Functional Programming Languages and Computer Architecture: 5th ACM Conference, Cambridge, MA, August 1991 (Lecture Notes in Computer Science, vol. 523), Hughes J (ed.). Springer: Berlin, 1991; 636-666.
19. Shao Z. Flexible representation analysis. Proceedings of the ACM SIGPLAN International Conference on Functional Programming. ACM Press: New York, NY, 1997; 85-98.
20. Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P. TIL: A type-directed optimizing compiler for ML. Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, Philadelphia, Pennsylvania, May 1996. ACM Press: New York, NY, 2001; 181-192.
21. Goldberg A, Robson D. Smalltalk-80: The Language and Its Implementation. Addison-Wesley: Reading, MA, 1983.
22. Ungar D, Smith RB. Self: The power of simplicity. Proceedings of the 1987 ACM Conference on Object Oriented Programming Systems, Languages, and Applications. ACM Press: New York, NY, 1987; 227-241.
23. Chambers C. The Cecil language: Specification and rationale. Technical Report TR-93-03-05, Department of Computer Science, University of Washington, March 1993.
24. Meyer B. Eiffel: The Language. Prentice-Hall: Englewood Cliffs, NJ, 2000.
25. Young JS, MacDonald J, Shilman M, Tabbara A, Hilfinger P, Newton AR. Design and specification of embedded systems in Java using successive, formal refinement. Proceedings of the Design Automation Conference. ACM Press: New York, NY, 1998; 70-75.
26. IEEE Standard VHDL Language Reference Manual: IEEE Standard 1076-1993 (revised edn). IEEE: Piscataway, NJ, 1994.
27. Moorby PR, Thomas DE. The Verilog Hardware Description Language (4th edn). Kluwer Academic: Boston, MA, 1998.
28. System C Version 1.1 User's Guide. www.systemc.org [2000].