4370 search results - page 376 / 874 » Algebra of Logic Programming |
119
click to vote
SCAM
2009
IEEE
15 years 10 months ago
2009
IEEE
—As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must be designed with a greater emphasis on concurrency. Threading has be...
106
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
110
click to vote
IWINAC
2007
Springer
15 years 9 months ago
2007
Springer
We consider a notion of morphism of neural networks and develop its properties. We show how, given any definite logic program P, the least fixed point of the immediate consequenc...
103
Voted
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
We analyze the notion of “local names” in SPKI/SDSI. By interpreting local names as distributed groups, we develop a simple logic program for SPKI/SDSI’s linked localname sc...
153
click to vote
LICS
1992
IEEE
15 years 7 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...