15754 search results - page 785 / 3151 » Programs are Knowledge Bases |
176
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
201
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
189
click to vote
SOCO
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
210
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Regression testing aims at showing that code has not been adversely affected by modification activities during maintenance. Regression test selection techniques reuse tests from...
188
click to vote
SPAA
2006
ACM
16 years 1 months ago
2006
ACM
Tree contraction algorithms, whose idea was first proposed by Miller and Reif, are important parallel algorithms to implement efficient parallel programs manipulating trees. Desp...