3424 search results - page 263 / 685 » Automated Testing of Classes |
158
click to vote
ICLP
1994
Springer
15 years 11 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
204
click to vote
ICTL
1994
15 years 11 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
282
click to vote
PLILP
1993
Springer
15 years 11 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
177
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
173
click to vote
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...