8766 search results - page 9 / 1754 » Functional logic programming |
ENTCS
2006
13 years 8 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
JUCS
2006
13 years 8 months ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
PPDP
1999
Springer
14 years 1 months ago
1999
Springer
IFIP
1994
Springer
14 years 26 days ago
1994
Springer
TACS
1994
Springer
14 years 26 days ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...