4266 search results - page 2 / 854 » Search for More Declarativity |
WISE
2002
Springer
13 years 10 months ago
2002
Springer
The common paradigm of searching and retrieving information on the Web is based on keyword-based search using one or more search engines, and then browsing through the large numbe...
LPAR
1994
Springer
13 years 9 months ago
1994
Springer
In this paper we develop a generic declarative diagnoser for normal logic programs that is based on tree search. The soundness and the completeness of the diagnoser are proved. The...
ENTCS
2002
13 years 5 months ago
2002
Declarative debugging has been proposed as a suitable technique for developing debuggers in the context of declarative languages. However, to become really useful debuggers must b...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
ITP
2010
13 years 7 months ago
2010
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...