Abstract
We propose ThisJava, an extension of Java-like programming languages with exact class types and This types, to support more useful methods with more precise types. To realize the proposed approach, we provide an opensource prototype implementation of the language and show its practicality and backward compatibility.We believe that our system elucidates the long pursuit of an object-oriented language with “This types.”
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Scala home, http://www.scala-lang.org/
Altherr, P., Cremet, V.: Adding type constructor parameterization to Java. In: 9th Workshop on Formal Techniques for Java-like Programs (2007)
Arnold, K., Gosling, J., Holmes, D.: The JavaTM Programming Language, 4th edn. Addison-Wesley (August 2005)
Canning, P., Cook, W., Hill, W., Olthoff, W., Mitchell, J.C.: F-bounded polymorphism for object-oriented programming. In: FPCA (1989)
Ekman, T., Hedin, G.: The JastAdd extensible Java compiler. In: Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications, OOPSLA, pp. 1–18 (2007)
Foster, J.: Rupiah: Towards an expressive static type system for java. Williams College Senior Honors Thesis (2001)
Gosling, J., Joy, B., Jr., Steele, G.L., Bracha, G.: The JavaTM Language Specification, 3rd edn. Addison-Wesley (June 2005)
Lindholm, T., Yellin, F.: The JavaTM Virtual Machine Specification, 2nd edn. Addison-Wesley (April 1999)
Na, H., Ryu, S.: A new formalization of subtyping to match subclasses to subtypes (June 2013), http://plrg.kaist.ac.kr/_media/research/publications/resubtyping_report.pdf
Na, H., Ryu, S., Choe, K.: Exact type parameterization and this Type support. In: TLDI (2012)
Nystrom, N., Chong, S., Myers, A.C.: Scalable extensibility via nested inheritance. In: OOPSLA (2004)
Oracle. Openjdk 6 source, http://download.java.net/openjdk/jdk6/
Pierce, B.C.: Types and Programming Languages. The MIT Press (2002)
Saito, C., Igarashi, A.: Matching ThisType to subtyping. In: SAC (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Na, H., Ryu, S. (2013). ThisJava: An Extension of Java with Exact Types. In: Shan, Cc. (eds) Programming Languages and Systems. APLAS 2013. Lecture Notes in Computer Science, vol 8301. Springer, Cham. https://doi.org/10.1007/978-3-319-03542-0_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-03542-0_17
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-03541-3
Online ISBN: 978-3-319-03542-0
eBook Packages: Computer ScienceComputer Science (R0)