摘要:

AbstractA constructive method of program development is presented. It seeks to unify two important ideas about program development. Namely that programming is a goal‐oriented activity and that there should be a correspondence between data and program structures. The latter concept is seen to be extensible beyond the data processing context in which it was originally proposed. Induction provides the vehicle for program development by stepwise refinement, with the final program being constructed by application of a sequence of progressively more powerful generalizations. The design process employed guarantees the correctness of the final program provided that each of the refinement steps have been correctly taken. The method is illustrated by a number of sample

ISSN:0038-0644    

DOI:10.1002/spe.4380150102

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractLoops must often be forced to terminate early. Solutions to such problems are usually either language‐dependent or rather clumsy. A practical alternative is presented. The accompanying methodology clarifies the role of the finalization mechanism in loop construction. It also leads to the idea of control‐structure independence in the context of data representation and forced terminat

ISSN:0038-0644    

DOI:10.1002/spe.4380150103

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractThis paper discusses our efforts in implementing a divide and conquer algorithm (adaptive quadrature) on the HEP computer system. The one PEM HEP system performs in a MIMD fashion by pipelining execution of instructions from different processes. Unlike most divide and conquer approaches, our strategy ensures that the program will never deadlock due to memory expansion or spawning too many processes. Within this constraint we develop and analyse two different implementations: one using a static number of processes and the other a dynamic number of processes. Our results examine the relative performance of these two schemes. In addition we briefly discuss some of our impressions concerning some ‘myths of parallel programming

ISSN:0038-0644    

DOI:10.1002/spe.4380150104

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractCertain implicit data structures for priority queues are implemented and compared with a simple linked structure. Timing experiments show that implicit structures are rather slow.

ISSN:0038-0644    

DOI:10.1002/spe.4380150105

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractAn interactive assembly level debugging system has been developed to facilitate program development on an INTEL 8080A/8085 based microcomputer. It has features such as decoding machine level instructions into the assembly language, relocating programs in memory, changing instructions interactively at assembly level etc. This paper deals with the design of the assembly level debugging system and the various facilities and features it provides. The debugging system requires only 4.5K bytes of RAM besides the memory requirements of the application program that has to be debugged.

ISSN:0038-0644    

DOI:10.1002/spe.4380150106

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractThis paper details the practical approaches and solutions taken in the implementation of an INTERLISP programmed knowledge based program. Although some of the solutions used are particular to the specific problem domain of this program, the general pragmatic methods are of wider interest. The program excerpts are given in Pseudo‐LISP cod

ISSN:0038-0644    

DOI:10.1002/spe.4380150107

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractThe National Magnetic Fusion Energy Computer Center (NMFECC) at the Lawrence Livermore National Laboratory (LLNL) has implemented a simple, yet powerful interactive operating system, the Cray Time‐Sharing System (CTSS), on a Cray‐1 supercomputer. CTSS augments the multi‐programming batch facilities normally found in supercomputer systems with many of the interactive services typical of interactive minicomputer systems. This paper gives some of the historical background leading to CTSS and gives an overview of the system that emphasizes the strong points or unusual features such as multiple channels, decentralized control of resources, priorities and program scheduling, system recovery, and on‐line docume

ISSN:0038-0644    

DOI:10.1002/spe.4380150108

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

摘要:

AbstractAlthough substantial variety exists among small programming environments, common points‐of‐choice in their design suggest the following structural characterization: real or virtual hardware; message‐passing or procedure‐calling; static or dynamic binding; horizontal or vertical organization; abstract or concrete structures; fixed or extensible language. Often these dimensions must support a very focused programming idiom, which combined with other requirements such as portability or performance, establishes structural dependencies, precludes features and forces exceptions. The characterization provides a rough framework that is useful in evaluating programming envir

ISSN:0038-0644    

DOI:10.1002/spe.4380150109

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380150101

出版商:John Wiley&Sons, Ltd.    

年代:1985

数据来源: WILEY