Yes, that's the idea. In a nutshell, you can see it as a checksum for program execution instead of static data.