摘要:

AbstractThis paper describes an implementation of the concurrent programming language occam on a multi‐processor computer, in which occam channels are multiplexed onto a token ring which links the processor

ISSN:0038-0644    

DOI:10.1002/spe.4380161002

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractThe storage and manipulation of spatial data requires a different style of support from that normally found in commercial database systems. This paper explores the use of the functional data model and the high level language Daplex to provide an integrated tool for the conceptual modelling of spatial data and the manipulation of data values. Importance is attached to allowing dynamic schema definition and to the provision of abstract data types to support spatial objects. The implementation comprises three separate modules and uses an underlying relational DBMS to store all metadata and data values. This modular design has enabled the user interface, Daplex language and storage aspects of the software to be developed independently, creating a system which has already proved to be easily portable. Consideration has also been given to ways of improving system performance.

ISSN:0038-0644    

DOI:10.1002/spe.4380161003

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractForeet is a software tool for the design and documentation of Fortran programs. It is based on the premise that documents accompanying a program should be computerized and integrated: computerized–to ensure fast, easy and inexpensive updating; integrated–to ensure that the documents reflect what is actually contained in the program and not some idealized notion. Foreet takes a syntactically correct Fortran program (or skeleton of a program) and comments in a specified format and writes a report. It can be used to document existing programs, though the best results will be obtained if the documentation is developed concurrently with the program. Foreet is concerned with data description and subprogram interfaces. By encouraging precise specification of these critical facets of a program, Foreet can improve the quality of progr

ISSN:0038-0644    

DOI:10.1002/spe.4380161004

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractThis paper describes the coupling of logic programming with Icon, which is a programming language aimed at string processing. Icon and Prolog have many similarities and their integration is feasible and desirable because the weaknesses of one can be compensated for by the strengths of the other. In our case, a Prolog interpreter was written as an Icon procedure that can be linked and called by an Icon program. This interpreter deals with all Icon data types and can be called in the context of the goal‐directed evaluation of Icon. We give an example showing the power of this symbiosis between these two languages where a Prolog call in Icon is a generator and an Icon call in a Prolog clause is a built‐in predic

ISSN:0038-0644    

DOI:10.1002/spe.4380161005

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractMeglos provides a user‐level, message‐based programming environment for a system of interconnected processors. It allows the simultaneous execution of a wide range of applications including real‐time control and large‐scale computations requiring the co‐operative work of many processors. The communications mechanisms in Meglos are designed to be easy to use and to provide high performance at the applications level. The communications primitives are based on symmetric, error‐resilient channels that are independently flow controlled. Two‐ended channels between pairs of co‐operating processes provide communications with low latency and high throughput. Multicast channels are used to send messages efficiently among a large group of processors in a s

ISSN:0038-0644    

DOI:10.1002/spe.4380161006

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380161001

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY