3546 search results - page 488 / 710 » A Causal Logic of Logic Programming |
113
click to vote
ENTCS
2010
15 years 1 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
100
click to vote
AMAI
2006
Springer
15 years 1 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
118
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...
121
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
128
click to vote
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...