|
|
|
|
|
|
by sankha93
2130 days ago
|
|
|
I agree with the mathematical rigor required for abstract interpretation. I am arguing that there is a lot of value in thinking about programs that operate on other programs as interpreters. Essentially interpreter doesn't have to be equivalent to the evaluation of a program. |
|
|