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

	FILTRANE, a Fortran 95 Filter-Trust-Region Package for Solving Nonlinear Least-Squares and Nonlinear Feasibility Problems NICHOLAS I. M. GOULD Rutherford Appleton Laboratory and DocID: 1uV8s - View Document
	PIPS: Internal Representation of Fortran and C Code Mehdi Amini Fabien Coelho B´eatrice Creusillet Serge Guelton DocID: 1uyV1 - View Document
	704 FORTRAN II TABLE OF CONTENTS FOR 4K-8K VERSION SAP LISTINGS OF THE 4K AND 8K DRUM VERSIONS. THESE LISTINGS CONSTITUTE THE ENTIRE FINAL VERSION OF 704 FORTRAN II. LISTINGS OF ASSOCIATED PROGRAMS, SUCH AS THE EDITOR, H DocID: 1uy8w - View Document
	Personal account: in search of the original Fortran compiler DocID: 1ukUn - View Document
	REFPROP 6 is a FORTRAN program developed by the National Institute of Standards and Technology to provide the most accurate thermodynamic and transport property data currently available for pure refrigerants and refriger DocID: 1ud7y - View Document