Back to Results
First PageMeta Content
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

Document Date: 2010-07-21 10:31:13

Open Document

File Size: 2,14 MB

Share Result on Facebook