+++
title = "Preservation of safety"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a5d"]
forwardlinks = ["3a5f"]
zettelid = "3a5e"
+++

This is the preservation of types and memory safety throughout the
compilation. This is weaker than proving that a specification holds, and
therefore also weaker than proving the backward simulation between the
languages. Therefore, this is also implied by having the backward
simulation.