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

First Page	Meta Content
	An Executable Rewriting Logic Semantics of K-Scheme ∗ Patrick Meredith Mark Hills Grigore Ros¸u Add to Reading List Document Date: 2011-08-12 16:48:09 Open Document File Size: 198,30 KB Share Result on Facebook

UPDATE

An Executable Rewriting Logic Semantics of K-Scheme ∗ Patrick Meredith Mark Hills Grigore Ros¸uAdd to Reading List