Functional logic programming: From theory to Curry
M Hanus - Programming Logics: Essays in Memory of Harald …, 2013 - Springer
Functional logic programming languages combine the most important declarative
programming paradigms, and attempts to combine these paradigms have a long history. The …
programming paradigms, and attempts to combine these paradigms have a long history. The …
The integration of functions into logic programming: From theory to practice
M Hanus - The Journal of Logic Programming, 1994 - Elsevier
Functional and logic programming are the most important declarative programming
paradigms, and interest in combining them has grown over the last decade. Early research …
paradigms, and interest in combining them has grown over the last decade. Early research …
Declarative programming with function patterns
We propose an extension of functional logic languages that allows the definition of
operations with patterns containing other defined operation symbols. Such “function …
operations with patterns containing other defined operation symbols. Such “function …
Functional logic design patterns
We introduce a handful of software design patterns for functional logic languages. Following
usual approaches, for each pattern we propose a name and we describe its intent …
usual approaches, for each pattern we propose a name and we describe its intent …
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language
S Mazanek, M Hanus - Journal of Visual Languages & Computing, 2011 - Elsevier
In this article we show how functional logic programming techniques can be used to
construct a bidirectional transformation between structured process models of the business …
construct a bidirectional transformation between structured process models of the business …
High-level server side web scripting in Curry
M Hanus - International Symposium on Practical Aspects of …, 2001 - Springer
We propose a new approach to program web services. Although we base our approach on
the Common Gateway Interface (CGI) to ensure wide applicability, we avoid many of the …
the Common Gateway Interface (CGI) to ensure wide applicability, we avoid many of the …
Evaluation strategies for functional logic programming
S Antoy - Journal of Symbolic Computation, 2005 - Elsevier
Recent advances in the foundations and the implementations of functional logic
programming languages originate from far-reaching results on narrowing evaluation …
programming languages originate from far-reaching results on narrowing evaluation …
On a tighter integration of functional and logic programming
B Braßel, F Huch - Asian Symposium on Programming Languages and …, 2007 - Springer
The integration of functional and logic programming is a well developed field of research.
We discuss that the integration could be improved significantly in two separate aspects …
We discuss that the integration could be improved significantly in two separate aspects …
[PDF][PDF] Functional logic programming: From theory to Curry
M Hanus - 2005 - Citeseer
Functional logic programming languages combine the most important declarative
programming paradigms, and attempts to combine these paradigms have a long history. The …
programming paradigms, and attempts to combine these paradigms have a long history. The …
Type-oriented construction of web user interfaces
M Hanus - Proceedings of the 8th ACM SIGPLAN international …, 2006 - dl.acm.org
This paper proposes a new technique for the high-level construction of type-safe web-
oriented user interfaces. Our approach is useful to equip applications processing structured …
oriented user interfaces. Our approach is useful to equip applications processing structured …