卢卡·埃特罗;安娜·英格尔夫斯多蒂;穆罕默德·礼萨，穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。 代数性质免费！ （英语） Zbl 1188.68200号 牛市。欧洲协会。计算。科学。EATCS公司 99, 82-103 (2009). 摘要：代数性质指定了编程和规范结构的一些自然性质。本文通过研究定义语言结构操作语义的演绎规则的句法形状，概述了保证或生成语言结构代数属性的技术。 引用于1文件 MSC公司： 68问题65 抽象数据类型；代数规范 68甲15 编程语言理论 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，公牛。欧洲理论协会。计算。科学。EATCS 99，82--103（2009；Zbl 1188.68200）