content/zettel/1c7.md


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

+++
title = "Polyhedral analysis"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["1c6", "1c2b1", "1c"]
forwardlinks = ["1c8", "1c7a"]
zettelid = "1c7"
+++

Polyhedral analysis is the analysis of loops and memory indexes to prove
that memory reads and writes are independent of each other.