Search Sciweavers | Sciweavers

4370 search results - page 169 / 874

» Algebra of Logic Programming

click to vote

ICFP
2005
ACM

86views Programming Languages» more ICFP 2005»

A logical analysis of aliasing in imperative higher-order functions

14 years 10 months ago

Download www.dcs.qmul.ac.uk

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...

Martin Berger, Kohei Honda, Nobuko Yoshida

claim paper

Read More »

click to vote

LPNMR
2009
Springer

84views Automated Reasoning» more LPNMR 2009»

Simple Random Logic Programs

14 years 5 months ago

Download www.cs.engr.uky.edu

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...

Gayathri Namasivayam, Miroslaw Truszczynski

claim paper

Read More »

click to vote

ICLP
2007
Springer

61views Automated Reasoning» more ICLP 2007»

Ontology Based Information Integration Using Logic Programming

14 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »