Practical Immutability For Classes And Objects(PICO) PICO is a type system that supports class level and object level immutability based on Checker Framework. PICO is formalized in clickme.
