Correction to "Approximate Reasoning About the Semantic Effects of Program Changes".

Mark Moriconi Timothy C. Winkler

Published in: IEEE Trans. Software Eng. (1991)

Keyphrases

semantically equivalent
spatial reasoning
semantic search
semantic information
machine learning
semantic web
high level

natural language
semantic knowledge
semantically meaningful
semantic description
logical representation
error correction

semantic features
computer programs
semantic interpretation
qualitative reasoning
practical reasoning
distortion correction

positive effects
semantically related
information systems
database
domain ontology
relational databases