Jose H. Soloranzo and Suad Alagic. Parametric polymorphism for Java: A reflective solution. In Object-Oriented Programming: Systems, Languages, Applications (OOPSLA), Vancouver, October 1998. ACM. 38, 100  Home/Search   Document Not in Database   Summary   Related Articles   Check

....polymorphism. However unlike most forms of bounded parametric polymorphism in Java, PolyJ uses constraints specified by structural properties ( where clauses) Another project, AFM97] adds run time compatible parameterized types to Java, but requires a modified ClassLoader. A third proposal [SA98] implements homogeneous translation based on reflection that requires modifications to the JVM. Finally, LM [VN00] improves the run time e#ciency of a purely reflective solution by caching the results of most reflective calls in static instance variables. 3.4 Evaluating Proposals The number of ....

....more e#cient. It is a relatively simple solution, thus we think that it should be implemented in the Rupiah compiler soon. 7.3 All Roads Lead to the JVM Our homogeneous translation based on reflection might be inherently better served with a few small changes to the JVM. Some projects, including [SA98] have implemented small JVM changes that greatly simplify translating polymorphic programs. The simplest JVM change that would help to support parametric polymorphism would be to modify the Class file so that it contained information about type parameters. This would allow all generic types ....

Jose H. Soloranzo and Suad Alagic. Parametric polymorphism for Java: A reflective solution. In Object-Oriented Programming: Systems, Languages, Applications (OOPSLA), Vancouver, October 1998. ACM. 38, 100

....However it cannot ensure that the objects placed within the sequence are instances of the BaseType. The latter option provides this safety. It is possible that this can be handled more cleanly if the proposals for parameterized types are accepted for future versions of Java [Tho97, CGL, SA98, BOSW98, OW97, AFM97, MBL97] Record A record is a grouping of elements of different base types. For example: NewType : TYPE = RECORD [ Field1 : BaseType1, Field2 : BaseType2, Field3 : BaseType3 ] Each record type is translated to a Java class whose field definitions correspond with those ....

....block is that many of the existing approaches discard the additional type information quite early during compilation as a consequence of being defined in terms of a translation into standard Java source code or into standard Java .class files. The approach recently taken by Solorzano and Alagie [SA98] is perhaps more suitable since it preserves information about generic classes and their instantiations until run time. The original motivation for this approach was to address shortcomings in both the homogeneous and heterogenous translations of earlier implementations [OW97] and in doing so to ....

Jose H Solorzano and Suad Alagie. Parametric polymorphism for Java: A reflective solution. ACM SIGPLAN Notices, 33(10):201--215, October 1998.

....or similar construct. Many of the areas in which abstractions are not preserved under translation to Java bytecode are either ones that may be ameliorated by proposed extensions to the jvm (in particular support for parametric polymorphism in the translation of ml [Bracha98,Agesen97b,Myers97,Solorzano98,Odersky97] or by the additional controlflow operations available in the Microsoft clr. More formally, Abadi introduces the term full abstraction to describe a translation between two languages that maintains both pairwise equivalence and pairwise 68 non equivalence between expressions ....

Jose H. Solorzano and Suad Alagie. Parametric Polymorphism for Java: A reflective solution. In Object-Oriented Programming, Systems, Languages & Applications (OOPSLA '98), volume 33(10) of ACM SIGPLAN Notices, pages 201--215, October 1998. (p 68)

....the lack of parametric polymorphism has been recognized to be a serious limitation of expressiveness [4] thus many proposals for the extension of Java have been studied. They can be mainly divided in two groups: the proposals for extension of the Java Virtual Machine (JVM) or of parts of it [2, 7, 12], and the translation approaches [11, 3, 10, 13] In the former case compatibility with existing Virtual Machines is lost, although they generally lead to more e#cient implementations. The translation approaches on the contrary, may introduce a significant overhead in both space and time, but do ....

....be created, storing the two elements involved in the operation. In principle, the latter drawback can be avoided by defining the operation as a static method and passing to it the two elements. Consider however that the semantics of static methods of parametric classes is not already standardized [12], so the right semantics for this case, which is that of heterogeneous based implementations [3] may not be available. Parametric methods may help in coding the functionality in a more elegant way, as follows: class Pair R,S . C,D Pair R,C compose(Pair C,D p2) return new ....

[Article contains additional citation context not shown here]

J. H. Solorzano and S. Alagic. Parametric polymorphism for Java: A reflective solution. In Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 216--225. ACM, 1998.

.... [US80] C templates [ES90] and ML polymorphic functions or data types [Mil85, Ull94] Even Java, which initially didn t provide it, is due to be extended with this mechanism [S99] Several proposals for adding genericity to Java, by using parametric types, have in fact been recently published [VN00, SA98, CS98, AFM97, MBL97, OW97]. The two main issues that a compiler for parametric polymorphism should deal with are (i) run time performance and (ii) the integration of parametric types with the core typing. In order to obtain good results for both these aspects, the typical technique relies on gathering, in structures called ....

Johe H. Solorzano and Suad Alagic, Parametric Polymorphism for Java: A Reflective Solution, Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 216-225, 1998.

....block is that many of the existing approaches discard the additional type information quite early during compilation as a consequence of being defined in terms of a translation into standard Java source code or into standard Java .class files. The approach recently taken by Solorzano and Alagie [SA98] is perhaps more suitable since it preserves information about generic classes and their instantiations until run time. The original motivation for this approach was to address shortcomings in both the homogeneous and heterogenous translations of earlier implementations [OW97] and in doing so to ....

Jose H Solorzano and Suad Alagie. Parametric polymorphism for java: A reflective solution. ACM SIGPLAN Notices, 33(10):201--215, October 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC