Code Annotation for Safe and Efficient Dynamic Object Resolution (2003)

by Andreas Hartmann, Wolfram Amme, Jeffery Von Ronne, Michael Franz