摘要:

AbstractThe conventional pure LISP interpreter written in pure LISP is commonly believed to be executable. As it turns out, this interpreter does not recognize the atoms t and nil — commonly regarded as part of pure LISP. The problem is explained, and the interpreter is fixe

ISSN:0038-0644    

DOI:10.1002/spe.4380160102

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractA new algorithm is described which generates the co‐ordinates of the tth point along a Hilbert curve, given the value of the parametert. The algorithm is expressed in the concurrent programming language occa

ISSN:0038-0644    

DOI:10.1002/spe.4380160103

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractWe describe how the denotational semantics of a programming language can be executed directly, if it is expressed in a suitable functional programming language such as ML. We also apply Mosses' idea of ‘semantic algebras’ to construct semantic descriptions that are significantly more modular and understandable than usual. The possibility of executing a language's semantic description directly supports a methodology of language design that we advocate: express the design as a formal language description, and use this to test and refine the design, before becoming committed to constructing a compi

ISSN:0038-0644    

DOI:10.1002/spe.4380160104

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractCoroutines are routines which communicate with each other in a more general way than that provided by the normal subroutine mechanism. Although they have many potential applications, their use has been restricted by their lack of availability in common high‐level languages. This paper discusses some of the issues involved in implementing coroutines, and proposes an implementation written in Pascal which may be incorporated into a Pascal program to give coroutine facilities. Use of the system is illustrated by two solutions to theN‐Queens problem by different coroutine strategies. The basic system is then extended to allow more advanced use of corouti

ISSN:0038-0644    

DOI:10.1002/spe.4380160105

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractBy considering the problem of an event timer it is shown that the commonly available synchronizing facilities (monitors, CSP, distributed processes) are not able to always satisfactorily model the requirements of several processes which must run in parallel and which have to communicate with each other. The problem is discussed in general terms which show that what is required are new concepts for communicating processes. The synchronization facilities proposed are augmented to incorporate the concept of process scheduling directly from a process. This ensures that proper scheduling of process components can take place. The new mechanism is then applied to a number of the standard problems. It is also shown that the use of nondeterminacy in current facilities is probably not required and is, in fact, for many applications, a positive disadvantage.

ISSN:0038-0644    

DOI:10.1002/spe.4380160106

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

摘要:

AbstractPredicates are used in the Revised ALGOL 68 Report to indicate blind alleys and to reduce the number of rules in the Report. They may also be used by the compiler writer to implement some of the non‐context‐free aspects of the language. This paper shows how the predicates can be transformed in a relatively straightforward way into ALGOL 68 procedures to form part of an analyser for the revised langu

ISSN:0038-0644    

DOI:10.1002/spe.4380160107

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380160109

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380160110

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380160101

出版商:John Wiley&Sons, Ltd.    

年代:1986

数据来源: WILEY