Verification via Abstract Reduction
Racket
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
cpcf
examples
lang
tests
.gitignore
Makefile
README
TODO
annotate.rkt
cesk-fast.rktl
cesk.rkt
check.rkt
examples.rkt
garbage.rkt
lang.rkt
loader.rkt
main.rkt
meta-misc.rkt
meta.rkt
op.rkt
redex-notes.txt
run.rkt
step-a.rkt
step-c-abs.rkt
step-c.rkt
step-d.rkt
step-e.rkt
step-m-abs.rkt
step-m.rkt
step-v.rkt
step.rkt
util.rkt

README

Verification via Abstract Reduction

See also http://arxiv.org/abs/1103.1362

To install:

   % git clone http://github.com/samth/var
   % raco link var
   % raco setup var

which enables the #lang var language.