Semantics Computer Science