Inter-deriving semantic artifacts for object-oriented programming