| 
|
Quote: control aliasing through read-only types with read-only methods; does not change the transitive state of an object
topics >
all references >
references i-l >
Topic:
aliasing
Topic:
safe use of pointers
Topic:
immutable files and data
Quotation Skeleton
The paper presents an access control based model … not by preventing aliasing itself but by controlling … reference of read-only type it will not be … involves the addition of two keywords (readonly and … [p. 563] The declarative definition of read-only type is: … state of the referenced object is protected against … [p. 564] The read-only version of a type is … method is declared by adding the type modifier … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: aliasing (28 items)
Topic: safe use of pointers (102 items)
Topic: immutable files and data (57 items)