3441 search results - page 102 / 689 » Parallel Logic Programming Systems |
137
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
113
click to vote
ICML
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper describes a new methodfor inducing logic programs from examples which attempts to integrate the best aspects of existingILP methodsintoa singlecoherent framework. In pa...
CLIMA
2004
15 years 3 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
122
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
121
click to vote
PDCAT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper proposes a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. ViewOriented Parallel Programming is based on Distribu...