%0 Journal Article
%T 基于范畴计算的多目标语言程序生成架构
%A 王金全
%A 郑宇军？
%J 计算机科学
%D 2011
%X 提出了一种基于范畴论的多目标语言程序生成架构，程序元素的元类型在程序元模型范畴中定义，常用的软件开发模式由元模型实例组成并带有可配置的参数，模式到可执行语言的表达式、函数、类型等映射由范畴函子统一定义。在实际应用开发时，通过函子计算将抽象模式精化到不同的目标语言程序范畴。各种语言的精化计算方式具有统一的契约规范，从而支持高度的灵活性和重用度水平。
%K 范畴论
%K 程序生成
%K 函子
%K 模型变换
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110439&flag=1