A computation is the actual series of steps performed when running a program. So any program specifies a computation, but most languages don’t have a nice way to do things with the computation other than get the final output (i.e. by running it). The point of this project is to work out a nice data structure for representing a computation, so we can ask questions about it other than just getting the final output.
A computation is the actual series of steps performed when running a program. So any program specifies a computation, but most languages don’t have a nice way to do things with the computation other than get the final output (i.e. by running it). The point of this project is to work out a nice data structure for representing a computation, so we can ask questions about it other than just getting the final output.