- Tytuł:
- Foundational Certification of Code Transformations Using Automatic Differentiation
- Autorzy:
-
Tadjouddine, E. M.
Lv, W. - Data publikacji:
- 2014
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Tematy:
-
relational Hoare logic
abductive reasoning
certification
automatic differentiation - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki