摘要:

AbstractThe traditional use of abstract machine models is to provide a conceptual framework for software design and to aid portability and machine independence. Access to the abstract machine model from the higher‐level system on which it is based provides a powerful tool for software development. This paper describes a technique in which the higher‐level system is interfaced to the underlying abstract machine, thus allowing use of the higher‐level system to analyse and debug its own implementation. The application of this technique in the implementation of SL5 is given as an example. Experience with the use of the facility and a discussion of basic design considerations are inc

ISSN:0038-0644    

DOI:10.1002/spe.4380100102

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY

摘要:

AbstractA simple block structure (calledsemiblock) suitable for low‐level languages is presented. This is not a language but a structure, and preserves the high efficiency of the programs written in the ‘host’ languages. The structure offers the localization of label scopes and the capability of constructing control structures such as selection and repetition. The self‐documentability of programs can be increased by the use of Algol‐like formatting of source texts, which the proposed structure allows and encourages the users to use. The relation between the proposed structure and a simple macro facility is

ISSN:0038-0644    

DOI:10.1002/spe.4380100103

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY

摘要:

AbstractDetails of a computer‐computer communication facility are presented. The primary feature of the system is the use of a single terminal to monitor and control processes on different machines simultaneously, working together on the solution of a common problem. Experience with an application, error handling and maintenance of synchronization are describe

ISSN:0038-0644    

DOI:10.1002/spe.4380100104

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY

摘要:

AbstractA version of structured FORTRAN named STAR is introduced. STAR allows recursive subroutines. Implementation problems such as parameter passing by value and local variable stacking are discussed. The major difficulty in the preprocessor approach is debugging. We claim that execution profiles are strong debugging aids, and demonstrate how to debug a STAR program at source language level with the clue in the profiles plus assertion statements. We make use of a quicksort program as an example.

ISSN:0038-0644    

DOI:10.1002/spe.4380100105

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY

摘要:

AbstractThis paper describes an attempt to test the multi‐access capabilities of three widely differing systems. Some of the difficulties encountered in trying to find a common approach are detaile

ISSN:0038-0644    

DOI:10.1002/spe.4380100106

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY

摘要:

AbstractThe development process which resulted in a new text editor is described. The reasons for undertaking this development are discussed, and in particular the increased amount of non‐interactive use of text editors is stressed. The approach taken to the project is described, including the involvement of users in defining the specification and testing prototypes. Finally the main features of the new editor, ZED, are covere

ISSN:0038-0644    

DOI:10.1002/spe.4380100107

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380100101

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY