I think this is related to the word problem for the rewriting system defined by your programming language. When I first read this question I was thinking “Something to do with Church-Rosser?”—but you can follow the links to see for yourself if that literature is what you’re after.
I think this is related to the word problem for the rewriting system defined by your programming language. When I first read this question I was thinking “Something to do with Church-Rosser?”—but you can follow the links to see for yourself if that literature is what you’re after.