18 citations · 46 across the 8 of their papers we have counts for
1 paper · 1 filter
Sigurd Schneider, Gert Smolka, Sebastian Hack
We present the linear first-order intermediate language IL for verified compilers. IL is a functional language with calls to a nondeterministic environment. We give IL terms a seco…