blob: f06aac2acf22aa840c7675feb54ff22c39531729 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
+++
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
|
