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

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