Will Dependency Conflicts Affect My Program's Semantics?
Ying WangRongxin WuChao WangMing WenYepang LiuShing-Chi CheungHai YuChang XuZhiliang ZhuPublished in: CoRR (2020)
Keyphrases
- intended meaning
- formal semantics
- logic programming
- declarative semantics
- cooperative
- programming language constructs
- semantically equivalent
- computer programs
- semantic information
- operational semantics
- static analysis
- default reasoning
- stable model semantics
- real time
- conflict resolution
- test cases
- wordnet
- web services
- social networks