摘要:

AbstractThis paper describes a variation on the reference count method of garbage collection which can be particularly effective for the implemention of modern, truly functional languages. This method gives a high degree of control over the collection process and an increase in efficiency for many systems, particularly those with small, fast memories local to the central processor, such as a stack or an addressable cache.

ISSN:0038-0644    

DOI:10.1002/spe.4380170102

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractFull‐text systems that access text randomly cannot normally determine the format operations in effect for a given target location. The problem can be solved by viewing the format marks as the non‐terminals in a format grammar. A formatted text can then be parsed using the grammar to build a data structure that serves both as a parse tree and as a search tree. While processing a retrieved segment, a full‐text system can follow the search tree from root to leaf, collecting the format marks encountered at each node to derive the sequence of commands active for that segment. The approach also supports the notion of a ‘well formatted’ document and provides a means for verifying the well‐formedness of a given text. To illustrate the approach, a sample set of format marks and a sample grammar are given suitable for formatting and parsing the article as a

ISSN:0038-0644    

DOI:10.1002/spe.4380170103

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractAn attempt to transport TEX82 and to implement a typesetting program which realizes the output of the former at Hokkaido University Computing Center is described. The target operating environment and the environment required for running the TEX82 program are compared. The transporting procedure and the requirements for compiling and running the TEX82 program are described, along with the problems that they caused. The measures taken to adapt TEX82 to the target operating environment are explained, where considerations of how the system‐dependent parts are designed in accordance with the conventions of the target environment are illustrated in detail.The working principles and some implementation details of the output typesetting program are described, where rather esoteric techniques are employed. Finally, some measurements of performance are give

ISSN:0038-0644    

DOI:10.1002/spe.4380170104

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractThis paper describes a secure programming language called Joyce based on CSP and Pascal. Joyce permits unbounded (recursive) activation of communicating agents. The agents exchange messages through synchronous channels. A channel can transfer messages of different types between two or more agents. A compiler can check message types and ensure that agents use disjoint sets of variables only. The use of Joyce is illustrated by a variety of examples.

ISSN:0038-0644    

DOI:10.1002/spe.4380170105

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractPathparseis a tool with a practical approach to disambiguating problematic routes for services such as electronic mail.Pathparseresolves syntactic and host name ambiguities with the aid of a database that describes host connections. The parser generates a set of path/user pairs; heuristics are used to select one among these, which may then be used by a conventional mail handler.

ISSN:0038-0644    

DOI:10.1002/spe.4380170106

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractA general‐purpose browser for directed graphs is described. The browser provides operations to examine and edit graphs and to generate a layout for a graph automatically that minimizes edge crossings. Two layout algorithms were implemented. A hierarchical graph layout algorithm was found to be best for directed graphs. The graph browser also has facilities that allow it to be integrated with other applications (e.g. a program browser). These facilities and our experiences building a program call‐graph browser are descri

ISSN:0038-0644    

DOI:10.1002/spe.4380170107

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380170108

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380170101

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY