7456 search results - page 59 / 1492 » Parallelism in Logic Programming |
MEMOCODE
2003
IEEE
14 years 3 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
CSL
2004
Springer
14 years 1 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
POPL
2010
ACM
14 years 4 months ago
2010
ACM
POPL
1991
ACM
14 years 1 months ago
1991
ACM
POPL
2007
ACM
14 years 10 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...