代数规范的可计算实现

作     者：李中华 李玉茜 

作者机构：华东师范大学计算机科学系 

出 版 物：《华东师范大学学报（自然科学版）》 (Journal of East China Normal University(Natural Science))

年 卷 期：1991年第1期

页      码：20-26页

摘      要：本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述.在该定理的基础上,可进一步讨论可计算实现的性质.

主 题 词：代数规范 可计算实现 程序设计语言 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203535487...