具迹抽象类型的代数语义与继承

摘要

采用理论计算机科学中的范畴论形式化地描述了具迹抽象数据类型，而对象是该类型满足某些公理约束的一个模型，基于这种观点形式给出了继承的概念。