1131 search results - page 138 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
114
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
This paper presents a new type analysis for logic programs. The analysis is performed with a priori type definitions; and type expressions are formed from a fixed alphabet of type...
100
Voted
TBILLC
2005
Springer
15 years 8 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ā¤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deļ...
127
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. Hydra is a domain-speciļ¬c language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware speciļ¬cation ...
116
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
Non-conļ¬uent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
169
Voted
CI
2000
15 years 2 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...