PICO is a type system that supports class level and object level immutability based on Checker Framework. PICO is formalized in clickme.
forked from lnsun/immutability
-
Notifications
You must be signed in to change notification settings - Fork 0
AndrewShf/immutability
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Practical Immutability For Classes And Objects Type System(PICO) enforces transitive class and object level immutability
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Java 97.9%
- Shell 2.1%