content/zettel/3a10.md


1
2
3
4
5
6
7
8
9
10
11
12
13

+++
title = "Finite Memory CompCert "
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a9"]
forwardlinks = ["3a10a"]
zettelid = "3a10"
+++

One main problem with CompCert is that it does not have a finite memory
model, as at it's base it is infinite. However, there have been various
works to try and remedy this.