+++
title = "Normalisation of terms"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3c3c"]
forwardlinks = ["3c3e"]
zettelid = "3c3d"
+++

Another property of the abstract interpretation is that the abstract
interpretation should be normalised before it is compared, which then
means that different rewrite optimisations can also be proven about the
code. For example, additions and multiplications should be rewritten in
a common form.