摘要:

AbstractThe paper discusses those features in a program generator, a simulation program preprocessor, which are significant in the context of providing an effective interface with a user of the package. Discussion identifies two different roles for a generator: (1) to teach simulation languages and (2) to assist in the construction and use of a simulation model as a problem solving tool. In the context of the first role emphasis is placed upon both input design and upon the relationship between output and published texts. In the second role, discussion centres upon the need for a careful consideration of the related teaching techniques. DRAFT/SIMSCRIPT 11.5 is used to illustrate the discussion.

ISSN:0038-0644    

DOI:10.1002/spe.4380130202

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractAutomatic production of one‐pass compilers from attribute grammars is considered. An examination of a one‐pass grammar for the programming language Euclid shows that the present definition of one‐pass grammars is too general: the space behaviour of the produced compilers differs from that found in conventional hand‐written compilers. A new class of attribute grammars is defined. The class models naturally the use of space in a hand‐written compiler. This implies that the compiler produced automatically on the basis of the grammar uses space in the same way as a practical hand‐written recursive descent compiler. Furthermore, a graphical notation is introduced as a design tool for obtaining grammars in the pro

ISSN:0038-0644    

DOI:10.1002/spe.4380130203

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractA program giving facilities for the setting of mathematical expressions in running text is described. It acts as a pre‐processor to many of the commonly‐available text‐formatting programs running on current multi‐access systems. Particular attention has been given to designing a package that can easily be implemented on the wide variety of equipment in use on these systems, and emphasis has been given to the use of low‐cost, readily‐available peripherals. Equal importance has been attached to the ability to use the system over wide‐area networks, with potential applications in the computerized distribution of mathematical material. A comparison is made of the method adopted for entering mathematical expressions into the program with other methods that are curren

ISSN:0038-0644    

DOI:10.1002/spe.4380130204

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractThe C language is a fine tool for writing compact and efficient programs. It is relatively easy to produce good compilers for, and the number of tools available for supporting program‐ ming in C is large, especially in its ‘home environment’, the UNM system. However, C'S facilities for structuring programs were, until recently, rather limited. To remedy this situation, a data abstraction facility, called classes, was added. The class concept described here has benefitted from the experience gained through a year's use. It is now in use at close to a hundred installations.The guiding principles of the design of C classes were simplicity both in concept and in implementation. Smooth blending of the new facilities into the existing C programming environment was considered essential. Classes can be used without sacrificing the run‐time efficiency expected from C. This paper presents some of the reasons why C classes are what t

ISSN:0038-0644    

DOI:10.1002/spe.4380130205

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractA two level specification of the functional behaviour of a class of indenting programs for Pascal is presented. The transformation that these programs perform on the input text is a composition of splitting input lines, altering the blank space between lexical tokens and computing the margin required in front of each of the split lines. The high level specification is given as a stylized Pascal grammar in Extended BNF. In contrast, the low level specifications, which are operationally closer to a program, and which define how syntactically invalid text is dealt with, require several mathematical functions that capture the essence of these basic transformations. The specifications of an indenting program for Pascal are then obtained as a further elaboration of these functions. Most indentation styles appearing in the literature can be specified with precision using methods developed in this paper. Our experience in this case study indicates that although specifications for real‐life programs can be given using simple mathematics, the effort required is still considerabl

ISSN:0038-0644    

DOI:10.1002/spe.4380130206

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractDecision tables are shown, by example, to be a viable alternative to conventional algorithmic languages for general‐purpose scientific programmin

ISSN:0038-0644    

DOI:10.1002/spe.4380130207

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractAn editor is described whose purpose is to assist in preparing and printing complex mathematical formulae. A picture of the current formula is displayed on a screen, and changes are made by manipulating the picture. The user may introduce mathematical entities such as fractions and integrals, and their sizes and layouts are adjusted automatically by the editor. A prototype implementation is described.

ISSN:0038-0644    

DOI:10.1002/spe.4380130208

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380130210

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380130211

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380130201

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY