Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http: www.floc-conference.org ICLP-home.html A Framework for Verification and Debugging of Resource Usage Proper - ICLP - Document - PDFSEARCH.IO

First Page	Meta Content
	Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html A Framework for Verification and Debugging of Resource Usage Proper Add to Reading List Document Date: 2010-11-17 08:33:52 Open Document File Size: 166,12 KB Share Result on Facebook

Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html A Framework for Verification and Debugging of Resource Usage ProperAdd to Reading List