4370 search results - page 169 / 874 » Algebra of Logic Programming |
167
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
142
click to vote
LPNMR
2009
Springer
16 years 20 days 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...
ICLP
2007
Springer
16 years 8 days ago
2007
Springer
129
Voted
ICLP
2007
Springer
16 years 8 days ago
2007
Springer