| 
|
Quote: use typeflow analysis to detect errors and reduce dynamic type testing of Oberon-style types
topics >
all references >
references c-d >
Topic:
dynamic type checking
Topic:
type-safe and secure languages
Quotation Skeleton
Programs written in languages of the Oberon family … Typeflow analysis is a static method of determining … able to reduce the number of tests in … time. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: dynamic type checking (43 items)
Topic: type-safe and secure languages (42 items)