Sciweavers

502 search results - page 1 / 101
» Declarative Programming with Function Patterns
Sort
View
LOPSTR
2005
Springer
13 years 9 months ago
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 patterns...
Sergio Antoy, Michael Hanus
FROCOS
2000
Springer
13 years 8 months ago
Compiling Multi-Paradigm Declarative Programs into Prolog
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
Sergio Antoy, Michael Hanus
ESWA
2002
76views more  ESWA 2002»
13 years 4 months ago
Supporting software development through declaratively codified programming patterns
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, mo...
Kim Mens, Isabel Michiels, Roel Wuyts
ENTCS
2007
114views more  ENTCS 2007»
13 years 4 months ago
Reporting Failures in Functional Logic Programs
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
Michael Hanus
DALT
2006
Springer
13 years 8 months ago
Programming Declarative Goals Using Plan Patterns
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
Jomi Fred Hübner, Rafael H. Bordini, Michael ...