Morphisms and Semantics for Higher Order Parameterized Programming

Morphisms and Semantics for Higher Order Parameterized Programming
复制标题

高阶参数化编程的态射和语义

DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
J. Goguen
J. Goguen
中科院分区：
--
文献类型：
--
作者：
Kai Lin;J. Goguen

文献摘要

被引文献

相似文献

将参数化程序设计扩展到高阶模块，通过将视图以灵活的方式将实际参数扩展为形式参数，扩展到态射，利用高阶模块表达式将模块组成系统。一个范畴理论语义概述，并在BOBJ的例子显示态射的力量。
Parameterized programming is extended to higher order modules, by extending views, which t actual parameters to formal parameters in a exible way, to morphisms, with higher order module expressions to compose modules into systems. A category theoretic semantics is outlined, and examples in BOBJ show the power of morphisms.