GitHub - bloom-lang/safeandcalm: systems paper on CALM

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
Makefile		Makefile
invariant-rewrite.pdf		invariant-rewrite.pdf
invariant_examples.rb		invariant_examples.rb
safeandcalm.pptx		safeandcalm.pptx
safeandcalm.tex		safeandcalm.tex
safecalm.bib		safecalm.bib
sig-alternate.cls		sig-alternate.cls