| 
|
Quote: the formal and operational definitions of School do not refer to types; type checking is only for avoiding type errors at run-time
topics >
all references >
references p-r >
Topic:
data types are not needed
Quotation Skeleton
A very interesting property of School is that … formal one in VDM, and an "operational" one, … The type-checking procedure can be seen as an … at run time. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: data types are not needed (8 items)