Enhancing OSS Patch Backporting with Semantics.

Su Yang Yang Xiao Zhengzi Xu Chengyi Sun Chen Ji Yuqing Zhang

Published in: CCS (2023)

Keyphrases

open source software
formal semantics
logic programming
open source
transformation rules
image patches
domain knowledge
conceptual model
regular grid
model theoretic
operational semantics
owl ontologies
default reasoning
database
object recognition
high level
information systems
real world
databases
data sets