643 search results - page 73 / 129 » Semantic Determinism and Functional Logic Program Properties |
135
click to vote
ICLP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
154
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
154
Voted
COMMA
2010
14 years 10 months ago
2010
In this paper we define a recursive semantics for warrant in a general defeasible argumentation framework by formalizing a notion of collective (non-binary) conflict among argumen...
145
Voted
IEEEARES
2009
IEEE
15 years 1 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
136
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...