Formally Specifying and Analyzing a Parallel Virtual Machine for Lazy Functional Languages Using Maude Georgios Fourtounis1,2 2 ¨ - Functional languages - Document - PDFSEARCH.IO

First Page	Meta Content
	Formally Specifying and Analyzing a Parallel Virtual Machine for Lazy Functional Languages Using Maude Georgios Fourtounis1,2 2 ¨ Add to Reading List Document Date: 2011-09-18 05:48:24 Open Document File Size: 464,80 KB Share Result on Facebook

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