At last, the semantic description of object language OL is presented with AOC calculus.

• 最后，本文用AOC演算给出了一个对象语言OL的语义描述。