3481 search results - page 97 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
CADE
2010
Springer
13 years 10 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
APLAS
2009
ACM
14 years 3 months ago
2009
ACM
ICALP
2010
Springer
14 years 1 months ago
2010
Springer
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
JAIR
2007
13 years 8 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...