Mirko Viroli. Parametric polymorphism in Java: An ecient implementation for parametric methods. In Symposium on Applied Computing (SAC), March 2001.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....is supported by creating specialized classes methods, each supporting a di erent instantiation of a parametric class method. But since the parameters in ownership types are usually objects, this approach will lead to an unacceptably large number of classes methods. In the type passing approach [16, 18, 17], information on type parameters is explicitly stored in objects and passed to code requiring them. But if the system stores the owners of every object at runtime, this approach has the potential drawback of adding a perobject space overhead. Java objects are typically small, so adding even a ....

M. Viroli. Parametric polymorphism in Java: An ecient implementation for parametric methods. In Symposium on Applied Computing (SAC), March 2001.

....is supported by creating specialized classes methods, each supporting a di erent instantiation of a parametric class method. But since the parameters in ownership types are usually objects, this approach will lead to an unacceptably large number of classes methods. In the type passing approach [17, 19, 18], information on type parameters is explicitly stored in objects and passed to code requiring them. But if the system stores the owners of every object at runtime, this approach has the potential drawback of adding a perobject space overhead. Java objects are typically very small, so adding even a ....

....uses ownership types to aid software evolution. Cyclone [13] uses a similar type system to guarantee absence of memory errors in programs with explicit deallocation. 4. 2 Parametric Polymorphism in Java Our implementation of parameterized ownership types is related to the type passing approach [17, 19, 18] of implementing parametric polymorphism in Java. In the type passing approach, information on type parameters is explicitly stored in objects and passed to code requiring them. But if the system stores the owners of every object at runtime, this approach has the potential drawback of adding a ....

M. Viroli. Parametric polymorphism in Java: An ecient implementation for parametric methods. In Symposium on Applied Computing (SAC), March 2001.

....is supported by creating specialized classes methods, each supporting a di#erent instantiation of a parametric class method. But since the parameters in ownership types are usually objects, this approach will lead to an unacceptably large number of classes methods. In the type passing approach [17, 19, 18], information on type parameters is explicitly stored in objects and passed to code requiring them. But if the system stores the owners of every object at runtime, this approach has the potential drawback of adding a perobject space overhead. Java objects are typically very small, so adding even a ....

....uses ownership types to aid software evolution. Cyclone [13] uses a similar type system to guarantee absence of memory errors in programs with explicit deallocation. 4. 2 Parametric Polymorphism in Java Our implementation of parameterized ownership types is related to the type passing approach [17, 19, 18] of implementing parametric polymorphism in Java. In the type passing approach, information on type parameters is explicitly stored in objects and passed to code requiring them. But if the system stores the owners of every object at runtime, this approach has the potential drawback of adding a ....

M. Viroli. Parametric polymorphism in Java: An e#cient implementation for parametric methods. In Symposium on Applied Computing (SAC), March 2001.

No context found.

Mirko Viroli. Parametric polymorphism in Java: an e#cient implementation for parametric methods. In Proc. of the ACM Symposium on Applied Computing, pages 610--619, March 2001.

No context found.

Mirko Viroli. Parametric polymorphism in Java: An ecient implementation for parametric methods. In Symposium on Applied Computing (SAC), March 2001.

No context found.

M. Viroli. Parametric polymorphism in Java: An e#cient implementation for parametric methods. In Symposium on Applied Computing (SAC), March 2001.

No context found.

M. Viroli. Parametric polymorphism in Java: An e#cient implementation for parametric methods. In Symposium on Applied Computing (SAC), March 2001.

No context found.

M. Viroli. Parametric polymorphism in Java: an e#cient implementation for parametric methods. In Selected Areas in Cryptography, pages 610--619, 2001.

No context found.

Mirko Viroli. Parametric polymorphism in Java: An e#cient implementation for parametric methods. In Symposium on Applied Computing (SAC), March 2001.

No context found.

Mirko Viroli. Parametric polymorphism in Java: An ecient implementation for parametric methods. In Symposium on Applied Computing (SAC), March 2001.

No context found.

M. Viroli. Parametric polymorphism in Java: An e#cient implementation for parametric methods. In Symposium on Applied Computing (SAC), March 2001.

No context found.

M. Viroli. Parametric polymorphism in Java: An ecient implementation for parametric methods. In Symposium on Applied Computing (SAC), March 2001.

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