摘要:

AbstractWe report on the implementation and some of the extensions to the Toolpack/1 suite of Fortran software tools and the porting of a number of numerical software libraries to the ICL PERQ workstation.

ISSN:0038-0644    

DOI:10.1002/spe.4380170902

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractComputing facilities networked together but controlled by different administrations pose a problem of access control. Who decides who can use what?We specify a formal model for an access control system which allows users and services from different administrations to communicate with each other, while still allowing the administrators to retain control of their own parts of the network. The model, written in the Z specification language, has been developed as the access control system for ADMIRAL, though it is not specific to ADMIRAL. It provides a framework for administrators to build access control systems to meet their differing requirements.A system based on the model would allow users to log in to a distributed computing system and to make requests for services in any part of the system, without having to provide any more information about themselves. After this initial log in all subsequent access control decisions are handled automatically, and remain invisible to the user unless access is refused.öWe also discuss the experience we have had animating this model in Prolog

ISSN:0038-0644    

DOI:10.1002/spe.4380170903

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractSome functional programs may use more space than would be expected. A modification to the garbage collector is suggested which solves this problem in some cases. Related work is discussed.

ISSN:0038-0644    

DOI:10.1002/spe.4380170904

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractThe transition from imperative programming to functional programming for problems whose mathematical nature is not immediately obvious raises two questions. First, how can the function concept be applied to such problems, and, secondly, what language concepts are most suited in this situation. This paper shows that an existing functional programming language is very well suited for the elegant implementation of interactive programs. As an example, a text editor is described. The implementation of the editor has once more demonstrated the benefits of functional programming: fast generation of short and reliable programs. This indicates that it is worth while to investigate the application fields of functional programming languages as well as their implementation, in order to try to make them into general‐purpose programming languages that can be used in a production environmen

ISSN:0038-0644    

DOI:10.1002/spe.4380170905

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractThe TUBA system consists of a set of integrated tools for the generation of business‐oriented applications. Tools and applications have a modular structure, represented by class objects. The article describes the architecture of the environments for file processing, screen handling and report writin

ISSN:0038-0644    

DOI:10.1002/spe.4380170906

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractThis paper describes theupssource‐level debugger.Ups, which is designed to take advantage of the graphics and mouse available on a workstation, displays the debugged program's current state in the form of a hierarchically structured document in which items of interest can be expanded to show more detail. User interaction is via a system of menus and editable subfields, the intention being to create a debugger which has a lot of functionality but is easy to learn and easy to remember. The paper describes theupsuser interface itself and discusses its implementaion, which may be of interest to anyone writing a program with an interface based on menus and editable fields. There is also a discussion of some of the problems that will be encountered by anyone trying to write a new debugger to run in an existing environmen

ISSN:0038-0644    

DOI:10.1002/spe.4380170907

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380170901

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY