Login / Signup
Will Dependency Conflicts Affect My Program's Semantics?
Ying Wang
Rongxin Wu
Chao Wang
Ming Wen
Yepang Liu
Shing-Chi Cheung
Hai Yu
Chang Xu
Zhiliang Zhu
Published in:
IEEE Trans. Software Eng. (2022)
Keyphrases
</>
cooperative
intended meaning
computer programs
semantically equivalent
logic programming
formal semantics
stable model semantics
data sets
declarative semantics
semantics of logic programs
database
semantic information
control flow
operational semantics
program execution
programming language constructs