- Tytuł:
- Foundational Certification of Code Transformations Using Automatic Differentiation
- Autorzy:
-
Tadjouddine, E. M.
Lv, W. - Data publikacji:
- 2014
- Słowa kluczowe:
-
relational Hoare logic
abductive reasoning
certification
automatic differentiation - Pokaż więcej
- Dostawca treści:
- BazTech