摘要:

AbstractThis paper describes an interactive programming environment within which proposed changes to a program are monitored to ensure that they do not introduce various common types of logical inconsistency. The environment, which is provided by a network of concurrent ‘experts’ dealing with various aspects of the program being developed, is designed to be convenient to work in and to impose few constraints on the program

ISSN:0038-0644    

DOI:10.1002/spe.4380131102

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractA software engineering project, the XR project, is described, and its results assessed. The goal of the XR project is to contribute to the mechanical development and transportation of compilers on widely used Chinese‐made computers. The basic tools are the compiler writing language XHY and the intermediate language CJY.All the compilers are written in XHY and produce code in CJY form. In this paper, experiences, statistics and lessons of practising this project are given, together with an overview and a conclusio

ISSN:0038-0644    

DOI:10.1002/spe.4380131103

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractThis paper describes the optimizer included in the ICL personal data system (PDS), an interactive relational database system designed for users with little or no computer experience. The optimizer transforms the selection criteria in a command into an equivalent form which can be used to obey the command more quickly. The optimization method and the factorization procedure it uses are described in detail.

ISSN:0038-0644    

DOI:10.1002/spe.4380131104

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractThis paper discusses the problems involved in constructing a conversational editor for Pascal programs. A review of previous work in this area is given together with an alternative approach.

ISSN:0038-0644    

DOI:10.1002/spe.4380131105

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractA suite of software tools for the manipulation and validation of first‐order logic expressions is presented. The suite ponsists of a collection of modules, each performing a precise and well‐defined task. More sophisticated tasks such as theorem proving can be achieved by concatenating modules and interacting at suitable sta

ISSN:0038-0644    

DOI:10.1002/spe.4380131106

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractBack‐up and archival storage is safer and quicker if knowledge of the absent files is retained and exploited. The method has been applied to the reconciliation of two active discs, as well as the security back‐up of and retrieval of files from a single d

ISSN:0038-0644    

DOI:10.1002/spe.4380131107

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractA kernel that facilitates building graphical and responsive user interfaces for application programs has been constructed. A display tree representing the structure of the 2‐dimen‐sional screen image is defined. Each node contains an input procedure, an output procedure and links to their arguments. This display tree is the only interface between the user and the application program. For viewing purposes, the display tree can be ‘painted’ onto any viewport. The output routines attached to the nodes are invoked to produce the image. The arguments found in the ancestor nodes can be thought of as shared graphical attributes. Upon each input event, the display tree is traversed to determine which node is touched by the cursor. The input procedure attached to that node is then invoked. The use of a library with standard attached procedures (e.g. for screen editing and error checking) leads to a system that behaves uniformly across applications. Some demonstration programs, based on this kernel, show the very dynamic screen communication that can be a

ISSN:0038-0644    

DOI:10.1002/spe.4380131108

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractAn algorithm is presented which provides a convincing animated visual illusion of a pack of playing cards on the bit‐mapped screen of a high‐performance personal computer. The technique is generally applicable to any display task involving the generation and manipulation of a number of overlapping rectangles, for example the ‘desktop model’ for integrated interactive

ISSN:0038-0644    

DOI:10.1002/spe.4380131109

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractA disassembler is described which will translate ZSOOO object code into syntactically correct ZSOOO assembly language. The disassembler carries out error checking, label insertion and command processing.

ISSN:0038-0644    

DOI:10.1002/spe.4380131110

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractA standard for BASIC is nearing completion. An integral part of that standard is a module of the language addressing the needs of real‐time applications. This paper describes the features of real‐time BASIC, highlighting the concurrency aspects, the mechanisms provided for inter‐process communication and synchronization, and for communication with the hardware system. An example showing how the language may be used to control the environment and pump water from a mine shaft is included. The use of the language with a distributed control system is also disc

ISSN:0038-0644    

DOI:10.1002/spe.4380131111

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY