学科分类
/ 1
1 个结果
  • 简介:本文运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了smalltalk的完全抽象语义模型框架。

  • 标签: P-代数 代数范畴 忘却函子和自由函子