| 
|
Quote: Javari type system for expressing and enforcing immutability constraints; distinguishes assignability from mutability; supports generic types, multi-dim arrays, reflection, serialization
Topic:
immutable files and data
Quotation Skeleton
This paper describes a type system [Javari] that is capable of expressing and enforcing immutability constraints. … This research builds upon previous research … Improvements that are new in this paper include … arrays; a mutability polymorphism approach to avoiding code … a core calculus. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: immutable files and data (59 items)