Describing Console I/O Behavior for Testing Student Submissions in Haskell

Oliver Westphal, Janis Voigtländer

We present a small, formal language for specifying the behavior of simple console I/O programs. The design is driven by the concrete application case of testing interactive Haskell…