运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了Java面向对象语义的一种代数描......

研究peO代数类中的子类pe_（2,0）K_（1,1）,即满足恒等式f^3=f和k^2=id_L的peO-代数.利用同余和代数的次直不可约,有如下的主要结果：如果L......

本文定义了PM-代数上的决定同余关系利用这个同余关系我们讨论了PM-代数上的同余关系的形式。最后得到了同余关系格为布尔代数的PM......

本文运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了smalltalk的完全抽象语义模......