Summary: Functional Logic Design Patterns #
Sergio Antoy 1 Michael Hanus 2
1 Computer Science Department, Portland State University,
P.O. Box 751, Portland, OR 97207, U.S.A.
antoy@cs.pdx.edu
2 Institut f˜ ur Informatik, Christian­Albrechts­Universit˜ at Kiel
Olshausenstr. 40, D­24098 Kiel, Germany
mh@informatik.uni­kiel.de
6th Int. Symposium on Functional and Logic Programming (FLOPS'02)
Aizu, Japan --- Sept. 15­17, 2002.
c
#Springer­Verlag LNCS Vol. 2441, pages 67­87.
Abstract. 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, applicability, structure, consequences, etc. Our patterns
deal with data type construction, identifier declarations, mappings, search, non­
determinism and other fundamental aspects of the design and implementation of
programs. We present some problems and we show fragments of programs that
solve these problems using our patterns. The programming language of our ex­
amples is Curry. The complete programs are available on­line.

Source: Antoy, Sergio - Department of Computer Science, Portland State University

Collections: Computer Technologies and Information Sciences