C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Equivalence Checking of Code Transformation by Numerical and Symbolic Approaches.
Shunpei Sugawara
Keichi Takahashi
Yoichi Shimomura
Ryusuke Egawa
Hiroyuki Takizawa
Published in:
PDCAT (2022)
Keyphrases
</>
strengths and weaknesses
high level
real world
search engine
multi agent
open source
symbolic representation