| 
|
Quote: Javari guarantees that a read-only reference cannot be used to reassign any field in the object's protected, abstract state
Topic:
immutable files and data
Topic:
abstract data type
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
[Lightweight Javari's] mutability constraints also allow a theorem about … Protected state corresponds to the intuitive notion of … Theorem 6. A read-only reference, x, to object … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: immutable files and data (59 items)
Topic: abstract data type (64 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)