手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

程序的可到达性及其应用

刘远信

   程序模式(Schema)是计算机程序的抽象。Weyuker定义了两类程序模式——可到达(Reachable)模式和半自由(Semifree)模式,而且研究了它们的某些性质[1]。他的工作对计算机程序的验证和优化都是有益的。本文将对此进行若干讨论。本文所指的程序模式(或模式)是通常的框图模式,它是由Start(开始),Assignment……   
[关键词]:当且仅当;可到达性;非负整数
[文献类型]:期刊
[文献出处]: 《南昌大学学报(理科版)1981年00期
App内打开