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.

Name		Name	Last commit message	Last commit date
Latest commit History 190 Commits
src		src
testinput		testinput
.gitignore		.gitignore
.travis-build.sh		.travis-build.sh
.travis.yml		.travis.yml
README.md		README.md
build.gradle		build.gradle
check.sh		check.sh
infer.sh		infer.sh
run-dljc.sh		run-dljc.sh
setup.sh		setup.sh

Provide feedback