Quote: type system for reference immutability; i.e., reachable state not modified through the reference; dynamic checking for downcasts; parameterization

Quotation Skeleton

This paper presents a type system for specifying … be modified using the reference. … Our type system … offers reference, not object, immutability: reference immutability is … many objects are modified during a constructive phase … as a parameter does not modify the parameter … Our system combines static and dynamic checking in … but such downcasts can be convenient for interoperation … system also offers parameterization over immutability.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: immutable files and data (57 items)