直观的函数分割型程序设计系统VFDP

本文提出一种直观的函数分割型程序设计系统ＶＦＤＰ。     

A mechanically verified language implementation

This paper briefly describes a programming language, its implementation on a microprocessor via a compiler and link-assembler, and the mechanically checked proof of the correctness of the implementation. The programming language, called Piton, is a high-level assembly language designed for verified applications and as the target language for high-level language compilers. It provides executeonly programs, recursive subroutine call and return, stack based parameter passing, local variables, global variables and arrays, a user-visible stack for intermediate results, and seven abstract data types including integers, data addresses, program addresses and subroutine names. Piton is formally specified by an interpreter written for it in the computational logic of Boyer and Moore. Piton has been implemented on the FM8502, a general purpose microprocessor whose gate-level design has been mechanically proved to implement its machine code interpreter. The FM8502 implementation of Piton is via a function in the Boyer-Moore logic which maps a Piton initial state into an FM8502 binary core image. The compiler and link-assembler are both defined as functions in the logic. The implementation requires approximately 36K bytes and 1400 lines of prettyprinted source code in the Pure Lisp-like syntax of the logic. The implementation has been mechanically proved correct. In particular, if a Piton state can be run to completion without error, then the final values of all the global data structures can be ascertained from an inspection of an FM8502 core image obtained by running the core image produced by the compiler and link-assembler. Thus, verified Piton programs running on FM8502 can be thought of as having been verified down to the gate level.This work was supported in part by the Defense Advanced Research Projects Agency under DARPA Orders 6082 and 9151, contract MDA904-87-C-H009.     

基于Python的混合语言编程及其实现

Python是一种被广泛使用的脚本语言，它特别适用于混合语言编程的软件开发。本文介绍了Python语言的特点，给出了混合运用Python语言和系统编程语言开发的软件结构，并在此基础上开发了一个类似Logo语言的交互式绘图应用。     

RJ: a Java package providing JR‐like concurrent programming

The JR concurrent programming language extends Java with a richer concurrency model, by adding several new types and statements. JR provides dynamic remote virtual machine creation, dynamic remote object creation, remote method invocation, dynamic process creation, rendezvous, asynchronous message passing, semaphores, concurrent invocation, and shared variables. This paper presents RJ, a package for Java that provides JR‐like features. The paper gives an overview of RJ and its key features; describes the implications of RJ's design, including how RJ provides additional, useful flexibility; discusses the implementation of RJ; and gives qualitative and quantitative evaluations of our work with respect to feasibility and usability, experimentation, migration, and performance. RJ has been successful in meeting these goals and in providing insight into the trade‐offs between using a concurrent programming language versus using the equivalent concurrent package. Our work has yielded a few surprises in dealing with some concurrent programming language features, in understanding the run‐time performances of JR versus RJ programs, and in obtaining some additional, useful flexibility for concurrent programming applications. Copyright © 2015 John Wiley & Sons, Ltd.     

基于VC++环境的ComGIS开发初探

ComGIS也称组件式地理信息系统,是指由一组遵循COM(组件对象模型)“工业标准”的,基于组件对象平台的,允许跨语言应用甚至跨计算机交互的组件提供的GIS,各GIS组件之间可通过标准的通信接口实现互操作,目前它已经成为地理信息系统软件发展的新潮流。VisualC++简称VC,是微软公司推出的一个面向对象的、功能丰富的可视化重量级的开发工具。在目前流行的VisualC++,VisualBasic,Delphi等众多开发工具中,其功能最为强大。但目前对于在VC++环境下如何开发组件式地理信息系统的研究却很少。该文以VC++6.0开发环境和MapObjects2.0为例,采用西北干旱区典型的内陆河石羊河流域的地图数据,探讨了在VC++环境中地理信息系统组件的嵌入、地理信息系统基本功能如图形的放大、漫游以及图形显示的恢复等基本问题,进而为开发基于VC++环境的组件式地理信息系统提供参考和依据。     

The systems programming language,Malus

This paper reports on the design and development of a high level language, Malus, for use in implementing a time-sharing system. Emphasized are the ways that the language and its compiler accommodate the specialized requirements of systems programming and programmers. Among these are the need to generate highly efficient object code, to allow inter-programmer communication by program self-documentation, and to define and organize system tables and data. In addition, the Malus compiler is highly modular; thus the language may be modified or augmented in response to user needs unforeseen during langauge design. Systems programs cannot be machine independent and Malus allows explicit control of emitted code when an application requires particular efficiency or use of privileged instructions. There is also a facility allowing nested redefinition of identifiers. Efficient storage management and data access is effected by the availability of based structures, a register storage class and built-in functions to facilitate their use. Malus is evaluated both in terms of some general criteria for systems implementation languages and by an appraisal of user reactions. While this assessment shows a few areas where the language might be improved, it is felt that Malus is a valuable and effective tool for systems implementation.     

A hybrid implementation of a process-oriented programming language for system simulation

The implementation of a hierarchical, process-oriented programming language for simulation (HSL) is described. It features a hybrid approach, involving the front end of a compiler and the back end of an interpreter. An HSL program is dichotomous in structure. Source statements from each part are translated into three-address code for an abstract machine, and the resulting code is then interpreted. The algorithms and the supportive data structures that effect the translation and interpretation of HSL are detailed. The host language for HSL is C++. HSL is machine independent and can be ported to any machine on which the host language is available. Its initial implementation was carried out on an NCR Tower. More recently, it was transferred to an NCR PC916.     

TGMS: An object-oriented system for programming geometry

TGMS (tiered geometric modelling system) is an experimental system intended to reduce the difficulty and cost of developing new solid modelling applications while preserving investment in an existing, time-tested, solid modeller. The application developer writes programs in the TGMS language, which consists of a base language augmented by data types (classes) for geometry. The base programming language is AML/X, an object-oriented language intended for use in design and manufacturing applications. Solid modelling is done using an interface to GDP (geometric design processor), an existing, production-quality solid modelling system. TGMS shows how a system written in a non-object-oriented language can be used as a base for an object-oriented application programming environment. This paper presents the design of TGMS and discusses important aspects of its implementation. The TGMS language defines classes and methods that provide an interface to functions and data represented in a non-object-oriented language. To implement TGMS, issues related to communication, storage management and consistency were addressed. These, and other, implementation issues are discussed. The paper includes sample programs and a summary of feedback from TGMS users. It concludes that the use of object-oriented programming for geometry has many benefits, and that an object-oriented system can be built on top of a non-object-oriented system at less cost than building the equivalent object-oriented system from scratch.     

基于DLL的虚拟仪器设计

该文介绍了虚拟仪器的开发环境LabVIEW的特点，分析并实现了利用动态链接技术实现LabVIEW和C语言的接口技术。文中阐述了LabVIEW和C语言接口的方法，并给出了应用实例。通过在LabVIEW中引入了C语言的强大功能，从而提高了LabVIEW的数据处理能力，并极大地增强了LabVIEW与其他Windows应用程序之间的数据共享能力。实践证明，该方法高效、易行，是增强LabVIEW整体功能的一条很好的途径。     

PLC国际标准编程语言探析

本文根据传统PLC编程语言的不足和局限,阐述了IEC 61131-3国际标准的5种编程语言的结构、编程以及转换,利用IEC 61131-3国际标准编程语言,可以解决PLC应用中出现的诸多问题,为全球PLC制造商和客户所接受。     

An object-oriented class library for C++ programs

The Object-Oriented Program Support (OOPS) class library is a portable collection of classes similar to those of Smalltalk-80 that has been developed using the C++ programming language under the UNIX operating system. The OOPS library includes generally useful data types, such as String, Date and Time, and most of the Smalltalk-80 collection classes such as OrderedCtn (indexed arrays), LinkedList (singly linked lists), Set (hash tables), and Dictionary (associative arrays). Arbitrarily complex data structures comprised of OOPS and user-defined objects can be stored on disk files or moved between UNIX processes by means of an object I/O facility. The classes Process, Scheduler, Semaphore and SharedQueue provide multiprogramming with coroutines. This paper gives a brief introduction to object-oriented programming and how it is supported by the C+ + programming language. An overview of the OOPS library is also presented, followed by a programming example. The implementation details of two of the class library's more interesting features, object I/O and processes, are described. The paper concludes with a discussion of the differences between the OOPS library and Smalltalk-80 and some observations based on our programming experience with C++ and OOPS.     

GSML网格编程语言的一种实现方法

随着网格计算技术的不断发展，部署网格应用的环境越来越多，而网格编程语言还停留在C，Java这样的程序设计语言上，GSML是在中科院计算所织女星网格项目中设计的高级编程语言和用户界面语言，它采用了一种标记语言实现编程技术，旨在降低网格编程的难度，提高开发和部署网格应用的效率，介绍了对该语言的一种实现方法，讨论了GSML实现过程中需要解决的关键技术问题，以及网格社区等涉及GSML实现的相关内容。     

扩展面向对象编程（XOOP）的理论和方法

针对使用继续的传统对象系统在映射真实世界的对象关系时遇到的各种困难,提出一种普遍的软件工程方法,即扩展的面向对象方法（XOO）,它通过支持双向派生、归纳、更一般的多态机制等技术,来补足继承机制的不足,并进一步增强对象方法在描述对象关系方面的能力。作者强调了虚归纳是一种普遍的软件工程方法,它使得归纳与继承的高效结合成为可能,可以作为重用已有类库代码和与继续类层次结合的有效方法。文中还描述了XOOP的一个较为完整的实现－－编程语言C。     

基于NOW的对象式分布式程序设计语言NC++

提出了一个基于工作站网(networkofworkstations,简称NOW)的分布式程序设计语言NC++(NOWC++).它是DC++语言的扩充.NC++提供了一个完备的编程环境,包括NC++预编译器、图视编程界面、多目通信机制和测试系统.它完善了组管理机制和进程通信机制,提出了一个基于信度推理网络的分布共享内存(distributedsharedmemory,简称DSM)机制以管理C++公共变量.实践证明,NC++语言在确保编程方便性的前提下保证了分布式程序的性能.     

SQL语言例程化的设计与实现

本文提出了对SQL语言教学的一种处理方法,即将抽象的SQL语言例程化,使用户在输入必要的SQL语句后,便可以得到语句执行的结果,很好地实现了多媒体教学。文中重点阐述了查询语句例程化的设计分析与实现。     

量子程序设计语言NDQJava

量子程序设计语言自1996年出现以来,颇受业界重视.在简述几种有代表性的量子程序设计语言之后,着重阐述自行设计之量子程序设计语言NDQJava之概貌,其中包括设计准则、语言风范、硬件平台、基本成分以及示例等.此外,还提及相关工作.     

Integration of knowledge-based systems with data processing

Transaction Oriented Prolog-Online Environment is a multi-user, mainframe implementation of the logic programming language Prolog, specially designed and developed for the data processing environment. This article describes the background, functionality, implementation and use of TOP-ONE, stressing that applications of knowledge-based systems technology to data processing environments will achieve full success only when existing systems and existing conventional data are incorporated within the applications.     

面向路网连通关系的车辆轨迹数据查询技术研究

定位及通信技术的发展使获取和传输移动车辆的轨迹信息成为可能。从车辆轨迹数据中可以提取出大量的交通信息,这些信息是对交通状况的一个直接和全面的反映。但由于轨迹数据固有的网络特性及时空特性,使针对此类数据的查询成为一个难点,其中关键技术包括建立用于车辆轨迹数据的索引结构及其对应的轨迹数据查询语言。在比较现有轨迹数据索引结构的基础上,对轨迹数据查询语言的分类及其与索引结构之间的调用关系进行了初步的探讨,提出了面向连通关系的查询语言（connectivity-oriented query language, CQL）的定义、分类及实现方法,并简要讨论了车辆轨迹数据查询原型系统的结构和实现方法。     

基于XML Language的Web服务开发

当前用来开发Web服务的传统语言(如：Java，C#)功能虽然强大，但要想使Web服务获得更高的可扩展性、安全性、可靠性，且提高开发人员的效率存在一定的困难。文中介绍了一种新的专门为实现Web服务设计的语言——XML Language的优点、语法及相关技术，利用它，在某种程度上屏蔽了上述问题，使开发者专注于程序的逻辑设计。     

基于O'Caml语言的通用编程技术

O’Caml语言是一门优秀的函数式程序语言,具有计算模型简单、语法语义描述清晰等特点,而通用编程技术方法通过高度抽象算法、数据结构及其他软件组件可以避免功能相似代码的重复编写。针对如何将通用编程技术方法和O’Caml语言相结合来提高O’Caml程序复用程度的问题,通过对O’Caml语言语法进行扩展引入类型标记1函数,然后运用类型结构化转换和类型映射机制,实现通用函数,从而达到在O’Caml语言中引入通用编程技术的目的。实例结果表明,在O’Caml语言中实现通用编程技术,有效提高了编程效率和程序的通用性。