+++
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.