Symbolic conflict essences for rules with nested conditions are equivalent to parallel dependence and relate to initial conflicts in adhesive HLR categories.
Please note that we omit another graph that checks whether1,10:Classcontains an public attribute with nameNfor space reasons
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
Symbolic conflict essences for rules with nested conditions are equivalent to parallel dependence and relate to initial conflicts in adhesive HLR categories.