对象演算相关论文
对象演算是一个面向对象的逻辑演算系统,它建立在描述具有内部状态的动态演变实体的Trace演算之上.对象比一般意义下的动态实体具......
文章应用Ｇｏｇｕｅｎ等人的结论证明并得到了几个结构化对象演算的基本定理。一方面，这些定理保证了该文可由现有对象的描述构造新对象的描述，并......
本文的这一部分论述了以下内容: (1)型的结构模型,阐明型的集合在次型关系下做成一半序格并与其在子对象关系下做成之半序格对偶.......
