14 citations · 30 across the 15 of their papers we have counts for
18 papers
A Monadic Implementation of Functional Logic Programs
Michael Hanus, Kai-Oliver Prott, Finn Teegen
Functional logic languages are a high-level approach to programming by combining the most important declarative features. They abstract from small-step operational details so that…
From Logic to Functional Logic Programs
Michael Hanus
Logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional progr…
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)
Michael Hanus, Claudio Sacerdoti Coen
This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as pa…
Memoized Pull-Tabbing for Functional Logic Programming
Michael Hanus, Finn Teegen
Pull-tabbing is an evaluation technique for functional logic programs which computes all non-deterministic results in a single graph structure. Pull-tab steps are local graph trans…
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…