10 citations · 21 across the 8 of their papers we have counts for
Showing 2019 · cs.PLShow all
2 papers · 2 filters
cs.PL2019
Equivalence Checking of Non-deterministic Operations
Sergio Antoy, Michael Hanus
Checking the semantic equivalence of operations is an important task in software development. For instance, regression testing is a routine task performed when software systems are…
cs.PL2019
ICurry
Sergio Antoy, Michael Hanus, Andy Jost +1
FlatCurry is a well-established intermediate representation of Curry programs used in compilers that translate Curry code into Prolog and Haskell code. Some FlatCurry constructs ha…