8766 search results - page 437 / 1754 » Functional logic programming |
214
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
176
click to vote
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
121
click to vote
FLAIRS
2000
15 years 5 months ago
2000
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
113
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...
116
click to vote
IWINAC
2007
Springer
15 years 10 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...