"static semantics" - related articles and key terms