1560 search results - page 56 / 312 » Order Functions and Evaluation Codes |
PADL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
CODES
2002
IEEE
14 years 1 months ago
2002
IEEE
In many embedded systems, existence of a data cache might influence the effectiveness of process scheduling policy significantly. Consequently, a scheduling policy that takes in...
ICIP
2002
IEEE
14 years 1 months ago
2002
IEEE
—Several techniques based on the three–dimensional (3-D) discrete cosine transform (DCT) have been proposed for volumetric data coding. These techniques fail to provide lossles...
SPLST
2003
13 years 10 months ago
2003
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...
ENTCS
2002
13 years 8 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...