( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
REST: Integrating Term Rewriting with Program Verification.

, , , и . ECOOP, том 222 из LIPIcs, стр. 13:1-13:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Rafael Isaac Millstein Evan

Franziska-Sophie Evans-von Krbek

Helga Evans

Sotirios Evangelou

Ioannis Evangelou

 

Другие публикации лиц с тем же именем

Synthesizing Efficient Low-Precision Kernels., , и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 294-313. Springer, (2019)Synthesis of fixed-point programs., , , и . EMSOFT, стр. 22:1-22:10. IEEE, (2013)A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4., , , , , и . FMCAD, стр. 1-10. IEEE, (2018)Synthesizing structured CAD models with equality saturation and inverse transformations., , , , , , и . PLDI, стр. 31-44. ACM, (2020)Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler., , , и . CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 155-173. Springer, (2019)Sound Approximation of Programs with Elementary Functions., и . CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 174-183. Springer, (2019)On sound relative error bounds for floating-point arithmetic., и . FMCAD, стр. 15-22. IEEE, (2017)Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY., , , , и . Int. J. Softw. Tools Technol. Transf., 25 (2): 185-204 (апреля 2023)Deductive Verification of Floating-Point Java Programs in KeY., , , , и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 242-261. Springer, (2021)Combining Tools for Optimization and Analysis of Floating-Point Computations., , , и . FM, том 10951 из Lecture Notes in Computer Science, стр. 355-363. Springer, (2018)