| 
|
Quote: a data representation is correct if every procedure models the intended abstract operation and initialization models the abstract, initial value
Topic:
abstract data type
Topic:
program proof via assertions
Topic:
representation data type
Quotation Skeleton
The criterion of correctness of a data representation … [procedure] p_j models the intended [abstract operation] f_i and that the initialization … be replaced by one carrying out equivalent operations … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: abstract data type (64 items)
Topic: program proof via assertions (61 items)
Topic: representation data type (21 items)