10 citations · 21 across the 8 of their papers we have counts for
9 papers
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…
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…
Making Bubbling Practical
Sergio Antoy, Steven Libby
Bubbling is a run-time graph transformation studied for the execution of non-deterministic steps in functional logic computations. This transformation has been proven correct, but…
Synthesizing Set Functions
Sergio Antoy, Michael Hanus, Finn Teegen
Set functions are a feature of functional logic programming to encapsulate all results of a non-deterministic computation in a single data structure. Given a function of a func…
Proving Non-Deterministic Computations in Agda
Sergio Antoy, Michael Hanus, Steven Libby
We investigate proving properties of Curry programs using Agda. First, we address the functional correctness of Curry functions that, apart from some syntactic and semantic differe…
A New Functional-Logic Compiler for Curry: Sprite
Sergio Antoy, Andy Jost
We introduce a new native code compiler for Curry codenamed Sprite. Sprite is based on the Fair Scheme, a compilation strategy that provides instructions for transforming declarati…