Verifying Equivalence of Procedures in Different Languages: Preliminary Results David J. Musliner, Michael J. S. Pelican, Peter J. Schlette Smart Information Flow Technologies (SIFT) {dmusliner, mpelican, pschlette}@sift - Smart Technologies - Document - PDFSEARCH.IO

First Page	Meta Content
	Verifying Equivalence of Procedures in Different Languages: Preliminary Results David J. Musliner, Michael J. S. Pelican, Peter J. Schlette Smart Information Flow Technologies (SIFT) {dmusliner, mpelican, pschlette}@sift Add to Reading List Document Date: 2010-06-08 12:49:00 Open Document File Size: 249,83 KB Share Result on Facebook

Verifying Equivalence of Procedures in Different Languages: Preliminary Results David J. Musliner, Michael J. S. Pelican, Peter J. Schlette Smart Information Flow Technologies (SIFT) {dmusliner, mpelican, pschlette}@siftAdd to Reading List