Verifying Semantic Conflict-Freedom in Three-Way Program Merges.
Marcelo SousaIsil DilligShuvendu K. LahiriPublished in: CoRR (2018)
Keyphrases
- semantically equivalent
- semantic web
- semantic level
- logical representation
- conflict resolution
- domain specific
- semantic information
- model checking
- semantic interpretation
- semantic similarity
- semantic description
- test cases
- domain independent
- natural language
- high level
- databases
- semantic analysis
- semantic concepts
- genetic algorithm
- semantic knowledge
- natural language understanding
- semantic network
- semantic models
- program execution
- semantically meaningful
- computer programs
- semantic relationships
- semantic annotation
- case study
- information retrieval
- data mining
- neural network