4370 search results - page 42 / 874 » Algebra of Logic Programming |
LPNMR
2004
Springer
15 years 6 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...
100
Voted
ECOOP
2012
Springer
13 years 3 months ago
2012
Springer
200
Voted
ASIAN
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...
130
click to vote
PDS
1996
15 years 2 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...