Paul Roe and Clemens Szyperski. Lightweight Parametric Polymorphism for Oberon. Proceedings Joint Modular Languages Conference, Johannes Kepler University Linz Schlo Hagenberg Austria, March, 1997 http://www.fit.qut.edu.au/szypersk/Gardens/  Home/Search   Document Details and Download   Summary   Related Articles   Check

....have an appropriate boxed representation, which is the case in many object oriented languages typically implementations of these languages use pointers internally to represent all types except a few arithmetic ones. Implementations of this kind have been described for the Oberon language [31] and for the Java language [7] The Cyclone language [22] adds parametric polymorphism to C, but polymorphic parameters can only have pointer types. The disadvantages of this approach are magnified for C, since it requires the programmer to self box not only arithmetic types but also structure, ....

Paul Roe and Clemens Szyperski. Lightweight parametric polymorphism for Oberon. In Proceedings of the Joint Modular Languages Conference, 1997.

....include Modula 3, Ada 95, Ei#el, and Sather. Adding generics to an existing language is almost routine. We proposed adding generics to the Java programming language in Pizza [OW97] and we know of four other proposals [AFM97, MBL97, TT98, CS98] Clemens Szyperski proposed adding generics to Oberon [RS97]. Strongtalk [BG93] layers a type system with generic types on top of Smalltalk. The generic legacy problem However, few proposals tackle the generic legacy problem: when direct support for generics is added to a language that supports them via the generic idiom, what happens to legacy code that ....

....may depend on the type expected by its context, whereas in GJ the type of an expression is determined solely by the type of its constituents. GJ maintains no run time information about type parameters. The same design decision is made in Pizza and in a proposal to add parametric types to Oberon [RS97]. There are a number of other proposals for adding parameterized types to the Java programming language, all based on carrying type information at runtime [AFM97, MBL97, CS98] Run time types may be less e#cient to implement than erasure [OR98] and may be harder to interface with legacy code; on ....

Paul Roe and Clemens Szyperski. Lightweight Parametric Polymorphism for Oberon. Proceedings Joint Modular Languages Conference, Johannes Kepler University Linz Schlo Hagenberg Austria, March, 1997 http://www.fit.qut.edu.au/szypersk/Gardens/

....In Pizza the type of an expression may depend on the type expected by its context, whereas in GJ the type of an expression is determined solely by the type of its constituents. GJ, like Pizza, implements parametric types by erasure. A similar idea has been proposed and implemented for Oberon [RS97]. There are a number of other proposals for adding parameterized types to the Java programming language, all based on carrying 2 type information at run time [AFM97, CS97, MBL97] Run time types may be less e#cient to implement than erasure, and may be harder to interface with legacy code. As ....

P. Roe, C. A. Szyperski, Lightweight Parametric Polymorphism for Oberon, Joint Modular Languages Conference, Johannes Kepler University Linz Schlo Hagenberg Austria, March, 1997 http://www.fit.qut.edu.au/~szypersk/Gardens/

....(by other types) and have shown how this can be implemented either with or without an extension to the Java Virtual Machine. In the language Pizza[OW97] Odersky and Wadler have extended Java to allow parametric polymorphism, higher order functions and algebraic types. Roe and Szyperski [RS97] have recently made a proposal as to how lightweight parametric polymorphism can be added to Oberon. One of the major issues in these proposals is how to support constrained genericity (or bounded parametric polymorphism) Constrained genericity allows the programmer of a parameterised type to ....

P. Roe, C. Szyperski "Lightweight Parametric Polymorphism for Oberon", Proc.JMLC '97, Linz, Austria; in Lecture Notes in Computer Science 1204, pp. 140154, Springer-Verlag, 1997.

....In Pizza the type of an expression may depend on the type expected by its context, whereas in GJ the type of an expression is determined solely by the type of its constituents. GJ, like Pizza, implements parametric types by erasure. A similar idea has been proposed and implemented for Oberon [RS97]. There are a number of other proposals for adding parameterized types to the Java programming language, all based on carrying type information at run time [AFM97, CS97, MBL97] Run time types may be less efficient to implement than erasure, and may be harder to interface with legacy code. As ....

P. Roe, C. A. Szyperski, Lightweight Parametric Polymorphism for Oberon, Joint Modular Languages Conference, Johannes Kepler University Linz Schloß Hagenberg Austria, March, 1997 http://www.fit.qut.edu.au/~szypersk/Gardens/

....code is pretty much identical to Java code for the same purpose, and equally efficient. ffl Futureproof. Pizza is designed to extend smoothly to implementations that do carry type information at run time. Pizza implements parametric types by erasure. A similar idea has been proposed for Oberon [RS97]. There are a number of other proposals for adding parameterised types to Java, all based on carrying type information at run time [AFM97, CS97, MBL97] Run time types may be less efficient to implement than erasure, and may be harder to interface with legacy code. Pizza is designed to extend ....

P. Roe and C. A. Szyperski. Lightweight Parametric Polymorphism for Oberon. Joint Modular Languages Conference, Hagenberg Austria, March 1997

....Modula 3, Ada 95, Eiffel, and Sather. Adding generics to an existing language is almost routine. We proposed adding generics to the Java programming language in Pizza [OW97] and we know of four other proposals [AFM97, MBL97, TT98, CS98] Clemens Szyperski proposed adding generics to Oberon [RS97]. Strongtalk [BG93] layers a type system with generic types on top of Smalltalk. The generic legacy problem However, few proposals tackle the generic legacy problem: when direct support for generics is added to a language that supports them via the generic idiom, what happens to legacy code that ....

....may depend on the type expected by its context, whereas in GJ the type of an expression is determined solely by the type of its constituents. GJ maintains no run time information about type parameters. The same design decision is made in Pizza and in a proposal to add parametric types to Oberon [RS97]. There are a number of other proposals for adding parameterized types to the Java programming language, all based on carrying type information at runtime [AFM97, MBL97, CS98] Run time types may be less efficient to implement than erasure [OR98] and may be harder to interface with legacy code; ....

Paul Roe and Clemens Szyperski. Lightweight Parametric Polymorphism for Oberon. Proceedings Joint Modular Languages Conference, Johannes Kepler University Linz Schloß Hagenberg Austria, March, 1997 http://www.fit.qut.edu.au/~szypersk/Gardens/

No context found.

Paul Roe and Clemens Szyperski. Lightweight Parametric Polymorphism for Oberon. Proceedings Joint Modular Languages Conference, Johannes Kepler University Linz Schlo Hagenberg Austria, March, 1997 http://www.fit.qut.edu.au/szypersk/Gardens/

No context found.

P. Roe, C. Szyperski "Lightweight Parametric Polymorphism for Oberon", Proc.JMLC '97, Linz, Austria; in Lecture Notes in Computer Science 1204, pp. 140154, Springer-Verlag, 1997.

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