一种实现程序结构化转换的交互式图形工具*

本文介绍交互式图形工具XYZ/BESE，它能将任意时序逻辑语言XYZ/E的子语言XYZ/BE表示的程序转换成结构化程序．如以XYZ/BE作为中间语言，并将这工具与XYZ与系统中源语言转换系统XYZ/CCSS结合起来，即可将任意其它源语盲的程序转换成为结构化程序．本系统是用XYZ/E的交互式图形设计工具XYZ/CFC实现的。结构化转换过程用图形表示，可增加其直观性，使这变换易于理解