Result: Guarded type promotion : eliminating redundant casts in Java

Title:
Guarded type promotion : eliminating redundant casts in Java
Authors:
Winther, Johnni
Source:
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs. :1-8
Availability:
http://dl.acm.org/doi/10.1145/2076674.2076680
Database:
ACM Full-Text Collection