Approximate Reasoning About the Semantic Effects of Program Changes.
Mark MoriconiTimothy C. WinklerPublished in: IEEE Trans. Software Eng. (1990)
Keyphrases
- semantically equivalent
- logical representation
- semantic knowledge
- semantic information
- semantic similarity
- semantic description
- natural language
- semantic analysis
- databases
- semantic representation
- computer programs
- conceptual graphs
- semantic network
- semantic annotation
- high level
- data sets
- topic maps
- semantic features
- natural language processing
- qualitative reasoning
- low level
- lower bound
- natural language understanding
- semantically meaningful
- semantic level
- formal theory
- program execution
- web pages