马克·范登·布兰德;约根·伊弗森;彼得·莫塞斯(Peter D.Mosses)。 行动环境。 (英语) Zbl 1095.68560号 科学。计算。程序。 61,第3期,245-264(2006). 摘要:在许多不同的编程语言中都可以找到一些基本的编程结构(例如,条件语句),在设计新语言时,通常可以不加更改地将其包括在内。然而,在编写语言的语义描述时,通常不可能在没有更改的情况下重用以前描述的部分。本文介绍了一种新的动作语义描述形式,ASDF,它是专门为提供单个语言结构的可重用动作语义描述而设计的。ASDF使用的初始案例研究已经提供了核心ML基础上所有基本构造的可重用描述。本文还描述了Action Environment,这是一个支持使用和验证ASDF描述的新环境。Action Environment是在ASF+SDF元环境之上实现的,它利用了不同形式集成技术的最新进展,并继承了元环境的所有主要特性。 MSC公司: 68甲15 编程语言理论 关键词:ASF+SDF;ASDF公司;动作语义;模块化;重新使用;语言环境 软件:ASF+SDF PDF格式BibTeX公司 XML格式引用 \textit{M.van den Brand}等人,科学。计算。程序。61,第3号,245--264(2006;Zbl 1095.68560) 全文: DOI程序