351 search results - page 57 / 71 » Logic Programs with Compiled Preferences |
114
Voted
ADC
1999
Springer
15 years 6 months ago
1999
Springer
We introduce pseudo-naive evaluation, a method for execution of mixed top-down/bottom-up logic programs and deductive databases. The method is intermediate in power between naive ...
110
Voted
FLOPS
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effect...
131
Voted
HASKELL
2006
ACM
15 years 7 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
119
click to vote
CACM
2010
14 years 11 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
135
click to vote
SFM
2005
Springer
15 years 7 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...