4370 search results - page 42 / 874 » Algebra of Logic Programming |
LPNMR
2004
Springer
14 years 2 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 ...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
ECOOP
2012
Springer
11 years 11 months ago
2012
Springer
ASIAN
2009
Springer
13 years 10 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...
PDS
1996
13 years 10 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...