56 search results - page 6 / 12 » Localizing Program Errors via Slicing and Reasoning |
142
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
127
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
145
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: While most multiple sequence alignment programs expect that all or most of their input is known to be homologous, and penalise insertions and deletions, this is not a ...
112
Voted
LICS
1989
IEEE
15 years 7 months ago
1989
IEEE
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the...
115
click to vote
AVSS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we address the spatial activity recognition problem with an algorithm based on Smith-Waterman (SW) local alignment. The proposed SW approach utilises dynamic program...