可视化编程语言的执行流评估

如果我明白你的意思,在两个函数中使用相同的整数,就是:只需使用它两次,不需要引入并发性。如果您考虑的是已销毁的输入值的“实现”,则可以在使用它之前进行复制。

int i = 2;
int j = fun1(i);
int k = fun2(i);
int res = fun3(j, k);

将变成:

      i = 2[A]
        |
      Clone[B]
       / \
      /   \
     /     \
   i_1      i_2
    |        |
   fun1[C]  fun2[D]
    |        |
    j        k
     \      /
      \    /
       \  /
       fun3[E]
        |
       res

here

自上而下(也就是从开始到结束),从左到右感觉比自下而上更自然,前提是自下而上实际上有一个明确的含义。关于后一点, 有了程序的结果,你不能总是计算输入:想想什么时候会发生什么 funXXX 不是内射的(例如 fun1(x) = x*x )因此不可逆。

我希望我没有完全误解你的思路。

topological sort 你的依赖关系图-也就是说,执行节点的顺序,这样你就永远不会执行一个节点之前的依赖关系。当然,这是假设图形中没有循环。

这两种方法中哪一种最好在某种程度上取决于你在做什么。