research
∙
09/20/2019
Equivalence Checking of Non-deterministic Operations
Checking the semantic equivalence of operations is an important task in ...
share
research
∙
08/29/2019
ICurry
FlatCurry is a well-established intermediate representation of Curry pro...
research
∙
08/24/2018
Making Bubbling Practical
Bubbling is a run-time graph transformation studied for the execution of...
research
∙
08/22/2018
