| 
|
Quote: a balloon type explicitly restricts sharing state between types; it helps with reasoning about programs
Topic:
safe use of pointers
Quotation Skeleton
The pervading possibility of sharing state is what … [p. 37] a data type should not always enforce … needed. Designers of data types must be able … The basic idea of balloon types is precisely … as the operations provided, and their signatures. Among … affects what code programmers are allowed to write, … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safe use of pointers (102 items)