埃里克·巴杜埃尔;罗德里格·艾美Djeumen Djatcha 使用变形分裂的领域特定语言的模块化设计。 （英语） Zbl 1518.68043号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 62-79 (2018). 摘要：面向语言编程是一种基于领域特定语言（DSL）的软件组合方法，专用于应用程序领域的特定方面。为了组合这些语言，我们将它们嵌入宿主语言（即Haskell，一种强类型的高阶惰性函数语言）。DSL由代数类型给出，其运算符是抽象语法树的构造函数。这样的多排序签名与多项式函子相关联。这个函子的代数告诉我们如何解释程序。利用Bekić定理，我们定义了代数的模分解，从而得到一类与正则函子相关的参数多分类签名，从而实现DSL的模设计。关于整个系列，请参见[Zbl 1398.68027号]. MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 18 C50 形式语言的范畴语义 68甲15 编程语言理论 68甲18 函数编程和lambda演算 关键词：抽象语法树;变形;贝基奇定理;基于组件的设计;特定领域的语言 PDF格式BibTeX公司 XML格式引用 \textit{埃里·巴杜埃尔}和\textit{R.A.Djeumen Djatcha}，莱克特。注释计算。科学。11187，62-79（2018年；兹比尔1518.68043） 全文： 内政部 哈尔