Function Extraction: Mapping Programs into Mathematica Equations

Ali Mili

In this talk, we discuss a tool that derives the function of a C-like program by mapping it onto a mathematical equation formulated in Mathematica syntax. This approach can help determine a program’s function more precisely and capture the semantics of iterative constructs, regardless of the solvability or “correctness” of the program itself.