Derivation-, Evaluation-, CodeGeneration-, Hoare Logic Rules

Hello everyone,

During my exam preparations, I just noticed: “holy, we’ve got a lot of rule sets this semester”.
My (panic) question now is: Do we need to learn them all by heart? Or is it sufficient to understand them, because you’ll give us the rules during the exam?

Thanks! :slight_smile:
David

1 Like
2 Likes

You saved my sleep :smiley:

4 Likes