+++
title = "Semantics for both languages"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3c3", "1c5e"]
forwardlinks = ["3c3b", "3c3a1"]
zettelid = "3c3a"
+++

The first thing that is needed is to define semantics for the input and
output languages of the scheduling pass. In our case, this is
`RTLBlock`, a sequential language, and `RTLPar`, a language which
includes some parallelism.