Formally Specifying and Analyzing a Parallel Virtual Machine for Lazy Functional Languages Using Maude Georgios Fourtounis1,2 2 ¨

First Page		Document Content
Date: 2011-09-18 05:48:24		Formally Specifying and Analyzing a Parallel Virtual Machine for Lazy Functional Languages Using Maude Georgios Fourtounis1,2 2 ¨ Add to Reading List Source URL: www.softlab.ntua.gr Download Document from Source Website File Size: 464,80 KB Share Document on Facebook