摘要:

AbstractA number of data models have been proposed in the literature to improve the usability of database systems. Most of these proposals have not been implemented. It is felt that a working implementation is a necessary prerequisite for a serious study of these proposals. So far, implementing data models has been a daunting task, requiring a large team. We report here on a simple implementation technique using the persistent algorithmic language. PS‐algol, which promises to make the task of implementing data models a manageable one. The feasibility of the approach is demonstrated by implementing an entity‐based functional data model (extended function data model) using PS‐

ISSN:0038-0644    

DOI:10.1002/spe.4380170302

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractAn integrated data dictionary (IDD) is defined to contain data definitions and their applications descriptions. An IDD which includes report descriptions may be used as an input data structure for the automatic constructor of report generators (ACORG) in any data manipulation language. ACORG may be programmed in an elegant way using recursive techniques.

ISSN:0038-0644    

DOI:10.1002/spe.4380170303

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractThe Ada† programming language defines the semantics of interrupt handling as part of the tasking mechanism, making it possible to construct implementation‐independent interrupt handlers. However, for the Ada mechanism to be effective, an implementation must provide support not specified by the Ada standard, such as for initializing hardware interrupting devices, handling unexpected interrupts and optimizing for real‐time performance constraints. This paper analyses some of the constraints that efficient interrupt support places on an implementation. It develops a model for the interaction between interrupt hardware and Ada tasks and describes optimizations for Ada interrupt handlers. Implementation issues, including task priorities and task termination for interrupt handlers, are discussed in d

ISSN:0038-0644    

DOI:10.1002/spe.4380170304

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractEvery microprocessor‐based system needs powerful debugging tools. Debugging power strongly depends on a mechanism of control exchange between the debugger and an application program. Several implementation methods of such a mechanism are briefly described and compared in this paper. It is shown that conditional breakpoints facilitate a semantics‐oriented approach to program debugging. Some debugging techniques derived from elementary control‐exchange mechanisms are proposed. Most of the techniques discussed are implemented in the MD‐86 debugger designed for the Intel 8086 microprocessor. The debugger itself is also briefly de

ISSN:0038-0644    

DOI:10.1002/spe.4380170305

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractThis paper presents a description of, and experience in using, AIDA, an automated instrumentation system to perform data flow analysis for Pascal programs. AIDA is capable of detecting not only data flow anomalies, but also certain kinds of errors. It is a useful software testing and development tool for Pascal programs. The associated implementation problems and their solutions are presented.

ISSN:0038-0644    

DOI:10.1002/spe.4380170306

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380170301

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY