摘要:

AbstractThis paper describes a language which has been devised to facilitate the inclusion of printed music in the output of a typesetting system. The music program acts as a preprocessor totroff, which is the typesetting program associated with the UNIX system. The design of the music input language has concentrated on the simplicity of the process of transcribing and typing in data from a standard music score, yet still allowing some of the complex requirements of serious music scores to be handled.

ISSN:0038-0644    

DOI:10.1002/spe.4380170802

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractAlthough the C++ programming language is derived from C, it has a fundamentally different formulation of scope. This paper describes the scope structure of C++ and outlines approaches to two of C++'s special translation problems: representing scope in the symbol table and determining destructor activation sequences on scope exit. The solutions presented are based on the operational view of scope in C++ as a collection of interrelated scope objects.

ISSN:0038-0644    

DOI:10.1002/spe.4380170803

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractThe use of colour to reflect the syntax of typed‐in language statements can make a language processor much more user‐friendly. This paper shows how colour has been used in MicroCODIL and suggests ways in which the approach could be applied to other syst

ISSN:0038-0644    

DOI:10.1002/spe.4380170804

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractRegister allocation in a pattern‐matching code generator is discussed, and a strategy for the allocation of registers is presented. The strategy is suitable for code generators that perform no data‐flow analysis, but do perform common subexpression analysis. An implementation of the strategy has produced high quality c

ISSN:0038-0644    

DOI:10.1002/spe.4380170805

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractThis paper introduces the database programming language RAPP, which is an integration of the data typerelationand relational algebraic operations with the modular multiprocessing language Pascal Plus. A portable version of the RAPP compiler has been implemented and is described.

ISSN:0038-0644    

DOI:10.1002/spe.4380170806

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractCategorical combinators form a formal system similar to Curry's combinatory logic. The original system was developed by Curien, inspired by the equivalence of the theories of typed λ‐calculus and Cartesian closed categories, as shown by Lambek and Scott. A new system for categorical combinators was introduced by the author. This system uses a more compact notation for the code and needs a smaller set of rewriting rules.The aim of this paper is to analyse these two different rewriting systems for categorical combinators as a basis for implementation of applicative languages, and compare them with the classical approach due to Turner, using combinatory log

ISSN:0038-0644    

DOI:10.1002/spe.4380170807

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380170801

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY