Výsledky vyhledávání - "Numerical Analysis— Computer Arithmetic General Terms Algorithms"

Program transformation for numerical precision

Autoři: Matthieu Martel The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Matthieu Martel The Pennsylvania State University CiteSeerX Archives

Zdroj: http://perso.univ-perp.fr/matthieu.martel/pepm09martel.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Program Verification—Validation, D.3.4 [Programming Lan- guages, Processors—Optimization, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis, G.1.0 [Mathematics of Computing, Numerical Analysis— Computer Arithmetic General Terms Algorithms, Languages, Theory, Verification Keywords Program Transformation, Numerical Precision, Ab- stract Interpretation, Compiler Optimizations, Floating-Point Num

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.519.5047

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.519.5047
http://perso.univ-perp.fr/matthieu.martel/pepm09martel.pdf