This page requires that JavaScript be enabled in your browser.
Learn how »
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.
Thanks for your feedback.
Channels: Technology Conference
1311 videos match your search.
|
Filip Švrček Filip Švrček, an assistant professor in the department of algebra and geometry, faculty of sciences, at Palacký University in Olomouc, Czech Republic, shared classroom examples that demonstrate the power ... |
|
Filip Švrček Filip Švrček, an assistant professor in the department of algebra and geometry, faculty of sciences, at Palacký University in Olomouc, Czech Republic, shared classroom examples that demonstrate the power ... |
|
Salvatore Mangano Salvatore Mangano shares his progress on developing a way to use Mathematica with kdb+ to process large datasets for his work on Wall Street at the Wolfram Technology Conference 2010. |
|
Robert Yerex Robert Yerex, chief economist at Kronos and creator of the Retail Labor Index, explained how he uses Mathematica to develop effective multidimensional infographics about trends in employment and retail sales ... |
|
Mark Kotanchek Evolved Analytics's DataModeler package for Mathematica was developed for industrial-strength data analysis and modeling. Developer Mark Kotanchek gives an overview at the Wolfram Technology Conference 2010. |
|
Oleksandr Pavlyk Oleksandr Pavlyk, one of the developers who worked on the probability and statistics functionality in Mathematica 8, gives an overview of new features at the Wolfram Technology Conference 2010. |
|
A Wolfram Research developer who worked on financial computation functionality in Mathematica 8 gives an overview of some of the features at the Wolfram Technology Conference 2010. This is part 1 of the 2... |
|
A Wolfram Research developer who worked on financial computation functionality in Mathematica 8 gives an overview of some of the features at the Wolfram Technology Conference 2010. This is part 2 of the 2... |
|
Carlo Giacometti & Rebecca Frederick |
|
Eric Jacopin |
|
Milad Pourrahmani |