EN | DE
Theoretische Informatik

Michael Gebhard's LOOP/WHILE

… for Michael Gebhard's implementation of LOOP/WHILE language used in several standard references (and in our ThInfWiL course).

The thesis describing this contribution can be found at this link.