不正确的程序造句

• 不正确的程序    但多线程程序会造成许多困难，刚开始编程的开发者常常会发现他们被一些问题所折磨，例如不正确的程序行为或死锁。
• 当它正确时，保持它的正确    我的国家不一定总是正确的；当它正确时，保持它的正确；当它错误时，促使它正确。
• 没有正确的选择就没有正确的决定    没有正确的选择就没有正确的决定。
• 程序正确性    在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件测试在将来相当一段时间内仍然是软件质量保证的有效手段。 计算机程序的形式分析方法主要因为有以下需求之一： ( 1 )改善运行时性能， ( 2 )减少代码大小，和( 3 )增加对程序正确性的信心-程序设计者几乎不用介入，既使有，也只是最低限度的干预。
• 程序正确性证明    在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件测试在将来相当一段时间内仍然是软件质量保证的有效手段。
• 程序的正确性    给出算例验证所编程序的正确性。 软件工程师能有几次真正花时间来证明一个程序的正确性？ 经算例考核，证实了程序的正确性和有效性。 如果并发实例共享下列资源，请仔细地考虑应用程序的正确性和可重启性： 算例分析的结果表明了本文所编制的程序的正确性和实用性。 通过两个算例验证了变单元渗透系数法和所编的非稳定渗流程序的正确性。 本文最后对程序检验和结果分析程序的正确性进行了检验。 最...
• 证明程序正确性    前后断言方法是在语句前后分别加上前提条件(即前断言)和结果断言(即后断言)，用程序设计逻辑证明程序正确性的方法。 若约定各个变量的取值都是整数，上述除法程序的输入谓词和输出谓词分别为在用归纳断言方法证明程序正确性时，还必须在程序的框图中设置一些数学公式，称作断言，表示程序执行到该处时，程序中变量应满足的数学关系。
• 初始程序的装入程序    初始程序的装入程序
• 报表程序的生成程序    导入导出报表的生成程序，当时有能力和到这项任务的复杂报告创造，没有另一受欢迎数据库报表程序的生成程序充满特色和强有力-水晶报告。
• 控制程序产生程序    控制程序产生程序
• 程序标准程序    程序标准程序
• 程序化程序语言    非程序化程序语言 程序化程序语言
• 程序；程序    只包括修订程序；程序名称要能反映数据流程由输入至输出之间的转变。 Activationoption . library ：指定com +库应用程序；程序集中的服务组件在调用方的进程中激活。 Activationoption . server ：指定com +服务器应用程序；程序集中的服务组件在系统提供的新进程中激活。
• 程序性正当程序    程序性正当程序授予了当事人听审请求权（arighttobeheard）。 〔２０〕因此，程序性正当程序所表达的价值就是程序正义。 14.2009张闯、刘福元：《程序性正当程序的悖论与重构》，《社会科学辑刊》2009年第5期，第70-73页。 美国学者将正当法律程序分为“实质性正当程序”（substantive due process）与“程序性正当程序”（procedura...
• 程序块计数出口程序    程序块计数出口程序
• 程序的编译程序    编译程序的编译程序是产生编译程序的编译程序。 研制一个功能完全且实用的编译程序的编译程序是很困难的。 多数编译程序的编译程序都是一些专用编程序生成系统，如自动生成词法分析程序的扫描程序生成系统，自动生成语法分析程序的语法分析程序生成系统。 程序设计语言处理系统主要包括正文编辑程序、宏加工程序、编译程序、汇编程序、解释程序、连接编辑程序、装入程序、编译程序的编译程序、自编译程...
• 程序的装入程序    绝对程序的装入程序 初始程序的装入程序
• 绝对程序的装入程序    绝对程序的装入程序
• 编程序的程序    程序工具是指辅助人编程序的程序，如编译程序、编辑程序、排错程序等；程序环境则是指一套结合起来使用的用来辅助人编程序的程序工具。
• 编写程序的程序    Gnu / linux系统提供了几个用来编写程序的程序。 生成准则：避免手工编程，如果可能，编写编写程序的程序。 更为细心的程序员，或者不是为只有有限空间用于示例代码的读者编写程序的程序员，可能会考虑增加用户对
• 编译程序的编译程序    编译程序的编译程序是产生编译程序的编译程序。 研制一个功能完全且实用的编译程序的编译程序是很困难的。 多数编译程序的编译程序都是一些专用编程序生成系统，如自动生成词法分析程序的扫描程序生成系统，自动生成语法分析程序的语法分析程序生成系统。 程序设计语言处理系统主要包括正文编辑程序、宏加工程序、编译程序、汇编程序、解释程序、连接编辑程序、装入程序、编译程序的编译程序、自编译程...
• 编译程序的源程序    编译程序的源程序库
• 编译程序的源程序库    编译程序的源程序库
• 非程序化程序语言    非程序化程序语言
• 高级程序对程序通信    高级程序对程序通信(APPC)，确立顺序间的会话序请求通信的请求。 为了提供程序间通讯，IBM引进了高级程序对程序通信(APPC)，并且为了对抗TCP/IP的威胁，IBM推出了高级对等自治网(APPN)。 CPI-C最重要的功能是它提供了一个LU 6．2(逻辑单元6．2)服务接口，LU 6．2是IBM的高级程序对程序通信(APPC)的技术名称。 作为相应的反应，IBM发表了...