教学课程资源库 更多>>

关键词： access modifiers   attribute grammars   Java   object-oriented programming  

摘要： The three access modifiers-public, protected, and private-control the accessibility of the members of a type in the Java programming language. Furthermore, the accessibility may be transmitted along the two structures-package structure and inheritance structure. It is difficult to identify the weaknesses of the access modifiers from the informal semantics stated in the language manual. We develop a formal framework for specifying the accessibility in Java programs based on attribute grammars. With the help of this framework, we found several situations in the language specification that are irregular or counter-intuitive or ambiguous. These situations may confuse the programmers and hence may create weaknesses in Java programs. (C) 2002 Elsevier Science Ltd. All rights reserved.

关键词： 死锁检验   Spin   模型检验   Java程序  

摘要： 随着模型检验技术的日趋完善,用这种有限状态验证技术来检验软件的相关性质已逐渐成为软件工程领域研究的一个新的热点.Spin是当今世界上最好的模型检验工具之一.该文论述了用Spin来检查并发的Java程序中的死锁的方法.这大致要经过三步.首先,对java程序进行静态的分析,抽取出可能导致死锁的部分.这是最为关键的一步,因为最后的模型的大小很大程度上取决于这一步的结果.然后,将抽取出来的这部分翻译成Promela描述的模型.最后,用Spin检验这个翻译出来的模型中是否存在死锁.该文的主要工作包括一下三个方面：1、对Java中死锁的类型进行了分析.论述了Java程序中可能引起等待的三种形式,即出口条件受到共享变量影响的循环引起的等待,锁定操作引起的等待和wait（）方法引起的等待.2、描述了Java分层切片工具模型（JSTM）的设计思想和实现.该工具在分层切片的思想基础上,利用逐步求精的方法来得到面向对象程序的切片.3、提出了一种从Java程序中抽取可能引起死锁的部分的方法.

关键词： HTML文件   分析程序   超文件标示语言文件   Java语言   输入流类StreamTokenizer  

摘要： 从实践的角度说明了Java语言中输入流类Stream Tokenizer在编写HTML文件分析程序中的应用 ,并给出了利用StreamTokenizer流分析Web页面的例程。

关键词： JAVA   程序设计   对象   组件   分布式数据库   三层结构  

摘要： 通过基于JAVA的JDBC实现一个企业事务处理的实例 。

关键词： Java语言   程序设计   进程   多线程  

关键词： 优化   Java程序   数据库   访问效率   JDBC   连接池  

摘要： 分析了Java应用程序管理数据库的底层机制。从如何选择JDBC驱动程序和为什么要使用连接池两方面,分析了对Java程序数据库访问效率的优化方法。

关键词： JAVA   应用程序   正则表达式   字符串  

摘要： 本文通过一个免费的JAVA类库,编写一个JAVA小应用程序,在WEB网页上实现正则表达式下字符串的查找。

关键词： JAVA语言   多态   接口   线程  

摘要： 本文讨论了面向对象程序设计技术的四大特性即抽象性、封装性、继承与派生性、多态性以及JA VA语言中实现这四种特性的具体方法 ;对JAVA语言中实现多线程的两种方式也进行了描述。对于初学者把握JAVA语言重点难点 ,学习好JAVA语言有一定的指导意义。

关键词： Java语言   程序设计   CORBA   应用程序  

关键词： 部分求值   绑定时间分析   BTA预处理系统   程序分析   程序变换  

摘要： 为了减少Java语言现象,简化语言结构,从而简化BTA的实现,BTA预处理系统以程序作被处理的数据,应用Visitor设计模式技术,对Java源程序进行程序分析和程序变换,消除了7种控制流程语句,将switch、case、for、dowhile、break、continue、return句变换为if和while句,消除了4种表达式,将表达式中的表达式（赋值表达式）、方法调用表达式、数组生成表达式、对象实例生成表达式变换为相应的表达式语句,同时简化了变量声明语句和多维数组表达式、成员引用表达式.该文主要介绍了BTA预处理系统针对Java语言中部分语句和表达式进行的程序分析与程序变换方面的分析,设计和实现.