FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF

First Page		Document Content
Date: 2010-07-21 10:31:13 Computing Software engineering Computer programming Array programming languages High-level programming languages Parallel computing Compiler optimizations Fortran Functional programming MATLAB Argonne National Laboratory NP		FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 2,14 MB Share Document on Facebook

	Microsoft PowerPoint - lacsi-sans-1006 DocID: 1ru2M - View Document
	November 20, :52 sccsbook Sheet number 7 Page number xiii DocID: 1rt2x - View Document
	OCaml Standard Library Standard Modules Basic Data Types Pervasives String Array DocID: 1rs1B - View Document
	Copyright ©2005 by the Society for Industrial and Applied Mathematics This electronic version is for personal use and may not be duplicated or distributed. Chapter 6 Operators and Flow Control 6.1. Relational and Logica DocID: 1rpMC - View Document
	APL_Strategic_Plan_v4.pptm DocID: 1rjS6 - View Document