尤金尼奥·莫吉;索尼娅·法戈齐 一种单声道多阶段元语言。 （英语） Zbl 1029.68042号 Andrew D.Gordon（编辑），《软件科学和计算结构基础》。2003年4月7日至11日在波兰华沙举行的第六届国际会议FOSSACS 2003，是欧洲软件理论与实践联合会议ETAPS 2003的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2620, 358-374 (2003). 摘要：我们描述了一种元语言MMML，它明确了计算的顺序（以一元元语言的精神）和计算的阶段（如用于多级绑定时间分析的语言）。本文的主要贡献是操作语义，它足够详细，可以分析多阶段编程的细微方面，但也足够直观，可以作为参考语义。例如，计算类型与代码类型的分离，明确了生成代码的计算与生成代码之间的区别，并为多种语言扩展提供了基础，在这些扩展中，各种编程语言（又称单体语言）共存。操作语义由两部分组成：局部（语义保持）简化规则和按确定顺序执行的计算步骤（因为它们可能有副作用）。我们将重点放在计算方面，因此我们采用了一个简单的类型系统，可以检测常见的类型错误，但不能检测未解决的链接错误。由于其显式注释，MMML适合作为中间语言。关于整个系列，请参见[Zbl 1017.00036号]. 引用于5文件 MSC公司： 68纳米30 软件工程的数学方面（规范、验证、度量、需求等） 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}和\textit{S.Fagorzi}，莱克特。注释计算。科学。2620、358--374（2003年；Zbl 1029.68042） 全文： 链接