Computer Science ›› 2011, Vol. 38 ›› Issue (4): 185-187.
Previous Articles Next Articles
WANG Jin-quan,ZHENG Yu-jun
Online:
Published:
Abstract: The paper proposed a multi language program generation framework based on category theory. Meta-types of basic program elements are defined in the category of meta-models. Typical patterns in software development are parameterized and composed by instances of meta-models and can be transformed into different programs through refinements to different executable language categories, the computations of which arc based on categorical functors defining the mappings to language expressions,functions and types and complying with a unified contract. Thus the framework significantly improves the flexibility and reusability of program generation.
Key words: Category theory, Program generation, Functor, Model transformation
WANG Jin-quan,ZHENG Yu-jun. Category Theoretic Framework of Multi-language Program Generation[J].Computer Science, 2011, 38(4): 185-187.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2011/V38/I4/185
Cited