12272 search results - page 305 / 2455 » Experimental program analysis |
151
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...
195
click to vote
LPNMR
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
176
click to vote
EUROGP
1999
Springer
15 years 11 months ago
1999
Springer
– This article presents a new approach to the evolution of controllers for autonomous agents. We propose the evolution of a connectionist structure where each node has an associa...
194
Voted
LOPSTR
1997
Springer
15 years 10 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
164
click to vote
ESOP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...