Open AccessFoundational Certification of Code Transformations Using Automatic Differentiation
Author(s) -
Tadjouddine Emmanuel,
Wenjin Lv
Publication year - 2014
Publication title -
computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.145
H-Index - 5
eISSN - 2300-7036
pISSN - 1508-2806
DOI - 10.7494/csci.2014.15.1.215
Subject(s) - computer science , hoare logic , correctness , programming language , mathematical proof , certification , function (biology) , separation logic , axiomatic semantics , rule of inference , inference , process (computing) , code (set theory) , automatic differentiation , theoretical computer science , semantics (computer science) , operational semantics , artificial intelligence , denotational semantics , computation , geometry , mathematics , set (abstract data type) , evolutionary biology , political science , law , biology