4370 search results - page 169 / 874 » Algebra of Logic Programming |
106
click to vote
ICFP
2005
ACM
16 years 9 days 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...
LPNMR
2009
Springer
15 years 7 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...
59
Voted
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
ICLP
2007
Springer
15 years 6 months ago
2007
Springer