A Data Structure Oriented Programming Language and Program Transformations

面向数据结构的编程语言和程序转换

• 批准号: 62460221
• 负责人: NAKATA Ikuo
• 金额: $ 3.46万
• 依托单位: University of Tsukuba
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (B)
• 财政年份: 1987
• 资助国家: 日本
• 起止时间: 1987 至 1989
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-62460221/
• 关键词: Data Structure; Programming Languages; Programs Transformation; Coupled Context-free Grammar; Unfold; Fold Transformation; 畳み込み変換; 属性文法; プログラム文法; 文脈自由文法; 正規右辺文法; プログラム合成

A CCFG (Coupled Context-Free Grammar) is a grammar defined by coupling several CFGs (Context-Free Grammars). Each component CFG defines a data structure, and the CCFG can be regarded as a program (called CCFG program) which describes the relation between these data structures. Several methods for program transformation of CCFG programs have been developed including:(1) Transformations of CCFG programs to/from Prolog programs (2) Transformations between CCFG programs unfold/fold transformation elimination of intennediate data structures (3) Transformation of CCFG programs into procedural programs using the parsing techniques for context-free grammarsThe transformation based on data structures is clear and intuitive because the data structures of a CCFG program are explicitly expressed as CFGs which are syntactical components of the program.

CCFG(耦合上下文无关文法)是由多个CFG(上下文无关文法)耦合定义的语法。每个组件CFG定义了一个数据结构，CCFG可以看作一个程序(称为CCFG程序)，它描述了这些数据结构之间的关系。已发展出几种CCFG程序的程序转换方法，包括：(1)CCFG程序到PROLOG程序的转换(2)CCFG程序之间的转换(展开/折叠转换消除中间数据结构)(3)使用上下文无关文法的分析技术将CCFG程序转换为过程性程序。基于数据结构的转换是清楚和直观的，因为CCFG程序的数据结构被显式地表示为程序的语法成分CFG。

项目成果

山下義行: "Coupled Context-Free Grammarにもとずくプログラミング言語の実行方式について(その2 ボトムアップの場合)" 第29回プログラミングシンポジウム報告集. 119-130 (1988)

Yoshiyuki Yamashita：《关于基于耦合上下文无关语法的编程语言的执行方法（第二部分：自下而上的情况）》第29届编程研讨会报告119-130（1988）。

Yamashita, Y. and Nakata, I.: "Introduction of Negations in Context-Free Grammars" submitted to Computer Software.

Yamashita, Y. 和 Nakata, I.：“上下文无关语法中的否定介绍”提交给计算机软件。

山下義行: "属性文法における展開/畳み込み変換" コンピュ-タソフトウェア.

Yoshiyuki Yamashita：“属性语法中的扩展/卷积变换”计算机软件。

山下義行: "Coupled Context-Free Grammarにおける展開/畳み込み変換" コンピュ-タソフトウェア.

Yoshiyuki Yamashita：“耦合上下文无关语法中的展开/卷积变换”计算机软件。

山下義行: "Coupled Context-Free Grammarにおける展開・畳み込み変換" コンピュ-タソフトウェア(採録決定).

Yoshiyuki Yamashita：“耦合上下文无关语法中的扩展和卷积变换”计算机软件（已接受）。