Výsledky vyhledávání - "Symbolic execution] D.3.4 Programming Languages- Processors [Compilers"

Alias Verification for Fortran Code Optimization

Autoři: Thi Viet Nga Nguyen François Irigoin The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Thi Viet Nga Nguyen François Irigoin The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf.

Témata: Key Words, alias, dummy aliasing, verification, optimization Category, D.2.4 Software Engineering- Software/Program Verification [Assertion checkers] D.2.5 Software Engine, Symbolic execution] D.3.4 Programming Languages- Processors [Compilers, Optimization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.802; http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.802
http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf