面向对象程序设计语言的类型系统

本文引入了面向对象程序设计语言的类的概念,对类及春继承性给出了一种严格的形式化描述。这种形式化描述显然是建立面向对象模型的基础。     

程序设计语言的实现计算模型

本文在程序设计语言和实现的形式定义基础上，提出了一个通用的实现计算模型SCM。SCM概括了实现中的基本原理和技术，它清晰地描述了在程序设计语言的实现中，语言的语法、语义和它们依附于计算系统之间的关系。这无疑对语言的设计者和实现者都是至关重要的。     

C语言反编译系统的研究与实现

本文对C语言反编译技术展开讨论,指出在实现C语言反编译器中会遇到的普遍性问题;针对这些问题,提出了相应的解决方法;在此基础上,我们在PC机上开发了一个C反编译系统,该系统能将C(Turbo C或MSC) 编译生成的执行码(或目标码)经反汇编得到的汇编程序翻译成C语言程序。     

限定领域人机对话系统中的语言分析

语言分析是人机对话系统的重要组成部分.文章详细描述了上海交通信息查询系统--SHJTQ的语言分析方法在切分标注的基础上,利用部分句法分析,结合上下文来分析语义.测试结果表明该方法具有良好的性能.     

知识程序设计语言的研究

本文提出了知识程序设计语言概念,即有实际效率能进行知识推理的知识表示语言,它有统一的逻辑基础又有当前若干有代表性人工智能语言的本质特征。本文还给出一种知识程序设计语言的有关研究内容和实际取得的进展。     

Fundamental Concepts in Programming Languages

This paper forms the substance of a course of lectures given at the International Summer School in Computer Programming at Copenhagen in August, 1967. The lectures were originally given from notes and the paper was written after the course was finished. In spite of this, and only partly because of the shortage of time, the paper still retains many of the shortcomings of a lecture course. The chief of these are an uncertainty of aim—it is never quite clear what sort of audience there will be for such lectures—and an associated switching from formal to informal modes of presentation which may well be less acceptable in print than it is natural in the lecture room. For these (and other) faults, I apologise to the reader.There are numerous references throughout the course to CPL [1–3]. This is a programming language which has been under development since 1962 at Cambridge and London and Oxford. It has served as a vehicle for research into both programming languages and the design of compilers. Partial implementations exist at Cambridge and London. The language is still evolving so that there is no definitive manual available yet. We hope to reach another resting point in its evolution quite soon and to produce a compiler and reference manuals for this version. The compiler will probably be written in such a way that it is relatively easyto transfer it to another machine, and in the first instance we hope to establish it on three or four machines more or less at the same time.The lack of a precise formulation for CPL should not cause much difficulty in this course, as we are primarily concerned with the ideas and concepts involved rather than with their precise representation in a programming language.     

面向对象语言并行化中的调用局部化优化

该文提出了一种将调用局部化技术应用于并行环境下面向对象语言的方法，文中详细讨论了该技术的适用条件以及如何通过该方法减少循环中的远程过程调用开销，该优化技术产首先将循环分离成多个包含有远程调用的循环，再将分离后的循环分离给循环中对象所在的处理器，最后，化简迭代空间，并且用消息传递来传输数据，这种优化对象分布和循环并行化之后进行，将函数调用局部化于处理器，通过这种优化，可以进一步挖掘循环中的任务并行性，降低计算复杂度，减少函数调用开销，尤其适合面向对象语言中对循环里小函数的优化，该技术已经在作者设计的Java自动并行化编译器JAPS－Ⅱ中实现，在实验中，利用这种优化技术得到了超线性性加速比。     

Java实验教学模式研究

新疆高校的学生存在族别的多样性、基础理论水平层次的不等性、中小学阶段接受教育时语言的异样性等诸多问题。如何在讲授一门课后使不同水平的学生达到基本统一的教学目标,对教师能够设计出面向对象的、合理的课程实施模式提出了严峻的挑战。文章详细阐述了Java语言程序设计课程实验教学模式研究成果与教学各环节的实施模式。     

C++语言编程技术的分析和研究

C++语言是当前十分流行的、面向对象程序设计语言。通过对C++语言的深入研究以及较多的编程实践,总结归纳了C++语言的知识体系和编程中的几个常见问题,比如构造函数、对象指针、const数据和成员的访问属性等,对这些容易搞混淆的问题逐一进行详尽的分析和说明,并解释了其原因所在。通过阅读该文可为编程者带来有益的帮助,以便编程中碰到同类问题时能够解决。     

基于RMI的分布式计算技术研究及应用

分布计算是当前软件开发技术的重要发展方向之一。分析基于分布对象的分布计算模型，探讨RMI的体系结构、工作机制、安全机制及异常处理，给出基于RMI的分布计算的基本解决方案，运用RMI并结合JDBC技术设计实现一个三层架构的分布式成绩查询系统，最后总结RMI的优势与不足。     

志愿者计算平台中的监控系统设计与实现

描述了志愿者计算平台P2HP的监控系统设计与实现技术,该监控系统的功能采用多个节点来完成,克服了单一节点失效问题。采用对象序列化技术和远端过程调用技术进行任务和子任务的处理,可以使应用程序跨平台运行,使P2HP平台更加有利于聚集异构环境下的计算资源。通过定义各个角色节点间的消息通信协议格式,采用消息通信机制对本组的监控服务器节点、下属的调度服务器节点和分布式应用程序进行监控。测试结果表明,该监控系统提供了平台和应用监控、节点管理、任务和子任务的处理等完善的功能。     

基于UML的《和田师专成绩管理系统》的设计

该文在介绍面向对象的分析方法学以及统一建模语言UML的基础上,对学生成绩管理系统(SMS)的设计过程做了分析,并对系统进行建模,提供了该系统的蓝图。     

多库中并发控制的研究和实现

多库是一组分布在多个结点上自制的数据库系统的集合,每个局部数据库系统可能使用不同的并发控制协议。自制和异构为保证多库系统的全局可串性带来了困难。本文首先描述了多库中全局可串性问题,然后介绍了并发控制服务CCS系统的特点及系统的逻辑流程,最后讨论了系统中各个接口对象的设计及实现。     

“案例驱动”在“C语言程序设计”教学中的探索实践

本文结合应用型本科院校的特点,提出并探索了在"C语言程序设计"教学中采用"案例驱动"的教学方式。实践证明,在实际教学中应用"案例驱动"教学法,很大程度上增强了学生对"C语言程序设计"课程的兴趣,提高了学生用C语言解决实际问题的综合能力,取得了非常显著的教学成效。