Corney, D., Gough, J.,
"Type test elimination using typeflow analysis", in Gutknecht, J. (ed.),
Programming languages and System Architectures, International conference, Lecture Notes in computer Science #782, March 1994, Springer-Verlag, pp. 137-150.
abstract ;;Quote: use typeflow analysis to detect errors and reduce dynamic type testing of Oberon-style types
ThesaHelp: references c-d (337 items)
Topic: dynamic type checking (43 items)
Topic: type-safe and secure languages (42 items)