+++
title = "Using equality saturation for translation validation"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e1d1"]
forwardlinks = ["3a7"]
zettelid = "2e1d2"
+++

Equality saturation can therefore also be used to verify other
translations ([\#3a7]), as these can be proposed as equivalent
transformations, and then checked using the equality comparison
algorithm for programs expression graphs.

  [\#3a7]: /zettel/3a7