11 search results - page 3 / 3 » Declarative Debugging of Membership Equational Logic Specifi... |
CAV
1997
Springer
13 years 9 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...