3481 search results - page 78 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
POPL
2005
ACM
14 years 9 months ago
2005
ACM
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...