3546 search results - page 36 / 710 » A Causal Logic of Logic Programming |
LICS
2002
IEEE
14 years 2 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
POPL
2005
ACM
14 years 10 months ago
2005
ACM
ESOP
2010
Springer
14 years 7 months ago
2010
Springer
PEPM
1993
ACM
14 years 2 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...