Very cool, thank you! Link was broken, here is the full reference: https://www.cs.utexas.edu/~pingali/CS395T/2009fa/papers/ferrante87.pdf https://www.cs.utexas.

Very cool, thank you! Link was broken, here is the full reference: https://www.cs.utexas.edu/~pingali/CS395T/2009fa/papers/ferrante87.pdf https://www.cs.utexas.edu/~pingali/CS395T/2009fa/papers/ferr...