| 
|
QuoteRef: cornD3_1994
topics >
all references >
ThesaHelp:
references c-d
Topic:
dynamic type checking
Topic:
type-safe and secure languages
Reference
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. Google
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)