An Executable Rewriting Logic Semantics of K-Scheme ∗ Patrick Meredith Mark Hills Grigore Ros¸u

First Page		Document Content
Date: 2012-08-10 19:21:18		An Executable Rewriting Logic Semantics of K-Scheme ∗ Patrick Meredith Mark Hills Grigore Ros¸u Add to Reading List Source URL: repository.readscheme.org Download Document from Source Website File Size: 198,30 KB Share Document on Facebook