Title: | 基于范畴计算的多目标语言程序生成架构 |
Author: | 王金全
; 郑宇军
|
Keyword: | 范畴论
; 程序生成
; 函子
; 模型变换
|
Source: | 计算机科学
|
Issued Date: | 2011
|
Issue: | 4, Pages:185-187 | Indexed Type: | cnki
|
Department: | 北京装备系统工程研究所;中国科学院软件研究所
|
Abstract: | 提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并带有可配置的参数,模式到可执行语言的表达式、函数、类型等映射由范畴函子统一定义。在实际应用开发时,通过函子计算将抽象模式精化到不同的目标语言程序范畴。各种语言的精化计算方式具有统一的契约规范,从而支持高度的灵活性和重用度水平。 |
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/13903
|
Appears in Collections: | 软件所图书馆_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
基于范畴计算的多目标语言程序生成架构.pdf(2119KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
王金全,郑宇军. 基于范畴计算的多目标语言程序生成架构[J]. 计算机科学,2011-01-01(4):185-187.
|
|
|