1131 search results - page 138 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
98
Voted
CORR
2006
Springer
15 years 19 days 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...
85
Voted
TBILLC
2005
Springer
15 years 6 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ļ...
113
click to vote
DAGSTUHL
2003
15 years 2 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 ...
98
Voted
PPDP
2007
Springer
15 years 6 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...
143
Voted
CI
2000
15 years 13 days 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...