程序开发与程序错误分类

本文结合程序开发和程序设计的基本方法,分析程序错误存在的种种不同背景,形式及一些有代表性的观点,对程序错误和程序进行分类,提供了对程序科学地进行直觉分析的若干依据和方法。     

UNIX的C程序生成程序

<正> 已经叙述过作为UNIX的一个指导思想,有这样的一种观点,即程序要尽量编成已有模块的集合作为用少的工夫编写正确程序的一种手段,UNIX中已备有若干个,这个生成程序是要按照人们给出的规格,自动地给生成用C语言写出的程序。但是,要被生成的程序不一定是整体的程序,而是零件式的模块。所以要用     

程序天下事

ASP．NET：WebForms实现Web应用程序拖放式开发；SDMAGAZINE；性能优异的封装函数调用。     

程序天下事

继Borland收购TogetherSoft之后,开发工具厂商继续上演收购好戏。IBM和Rational Software Corp.于美国时间12月6日宣布两家公司达成最后协议,IBM以大约21亿美元现金或每股10.50美元收购Rational。 Rational为开发企业应用和开发软件产品提供开放的,工业标准的工具、最佳实践和服务。通过收购Rational, IBM将能够提供     

程序天下事

与大对象数据类型一同工作大多数Java程序员一直在使用JDBC创建和访问含有常见的地址簿数据类型(比如字符串,整型数、浮点数、日期)的表。但是,大多数现代应用需要管理大得多的数据对象,从可能需要数十K 存储空间的图像,直到可能需要几百兆存储空间的视频剪辑。最早的处理大对象的方法是把它们作为文件存储在底层操作系统中,只用数据库存储文件路径,让应用代码管理文件。尽管这一方法能很好地工作,任何尝试过复杂网站的维护工作的人都知道,有人移走了文件,或更改了目录名,就可能使许多链接失效。     

程序天下事

让门户技术和 Web Service 技术协同工作门户技术将那些异构的应用程序聚集,使其具备一个统一的架构,然后 Web services 以一种标准化的方式展现这些程序的功能。这些新兴的技术赋予了企业方便升级旧有系统,部署现有程序,整合信息,以及在可定制的多种界面下应用一种特定认证机制的能力。本文介绍了在实际中运用这些技术的好处。     

程序请求

2.1 引言 用户程序通过程序请求调用监督程序服务。这些请求是宏指令调用(macro calls),它们汇编在用户程序中,并由监督程序在执行时解释。程序请求由一个字的指令,后面跟以一个或几个变量(argument)所组成。例如: .WAIT LNKBLK是称为.WAIT的程序请求,后面跟以变量LNKBLK。宏指令或请求在汇编时由DOS汇编程序展开成指令列,它通过内中断转移,并传递变量到相应的监督程序子程序(Monitor routine)以实现特定的功能。请求.WAIT LNKBLK的汇编(语言)展开是: MOV ~#LNKBLK,-(SP) EMT 1 用户可以在程序中用宏指令调用或用等价的汇编语句编入一个请求。     

趣味程序

程序的意思是:第一项、第三项的菜单从屏幕的最左端出来,到中间停住;第二项、第三项菜单分别从屏幕的右端出来,到中间停住;第一、二、三、四项菜单分别又向上滚出屏幕。     

程序推理

前文“结构式时态语义”中定义了程序语言的一种时态语义,这种语义是语法引导的(Syntax Directed),保持语言的结构。本文中讨论在这种语义基础上的程序推理问题。因为这是时态语义,故在程序描述中可使用时态逻辑的丰富的表达力;又因为它是结构式的,故关于各种语句已有的推理方法,都可以翻译为时态逻辑中的定理,随意应用。