Bounded repairability of word languages
J. Comput. Syst. Sci., pp. 1302-1321, 2013.
word languagedatabase communitybounded repairabilityobvious approachbounded repairrMore(9+)
What do you do if a computational object (e.g. program trace) fails a specification? An obvious approach is to perform a repair: modify the object minimally to get something that satisfies the constraints. This approach has been investigated in the database community, for integrity constraints, and in the AI community for propositional lo...More
Full Text (Upload PDF)
PPT (Upload PPT)