A Data Structure Oriented Programming Language and Program Transformations

点击翻译按钮获取中文摘要

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.