317 search results - page 14 / 64 » Deductive Program Repair |
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
Inference in constraint programming is usually based on the deductions generated by individual constraints which are then communicated to other constraints through domain filteri...
CASCON
2004
14 years 11 months ago
2004
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
64
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
IWPC
2000
IEEE
15 years 2 months ago
2000
IEEE
As a software system evolves, its architecture will drift. System changes are often done without considering their effects on the system structure. These changes often introduce s...
DOOD
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...