10899 search results - page 374 / 2180 » The GP Programming System |
159
click to vote
LPNMR
2005
Springer
16 years 8 days ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...
145
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...
194
click to vote
JELIA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
155
click to vote
WLP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
183
click to vote
VL
2003
IEEE
16 years 1 days ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...