386 search results - page 19 / 78 » Debugging Logic Programs Using Specifications |
112
click to vote
VL
2008
IEEE
15 years 8 months ago
2008
IEEE
Spreadsheets are one of the most common end-user programming environments in use today, and their importance in the business world continues to grow. Although considered critical ...
110
click to vote
AMAST
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
187
click to vote
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
In this paper we argue that developing information extraction (IE) programs using Datalog with embedded procedural extraction predicates is a good way to proceed. First, compared ...
199
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
110
click to vote
AAAI
2004
15 years 3 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...