|
1. |
Guest editorial |
|
Software: Practice and Experience,
Volume 6,
Issue 4,
1976,
Page 443-446
Preview
|
PDF (299KB)
|
|
ISSN:0038-0644
DOI:10.1002/spe.4380060402
出版商:John Wiley&Sons, Ltd.
年代:1976
数据来源: WILEY
|
2. |
Lektor‐a list‐oriented, machine‐independent programming system for conversational applications |
|
Software: Practice and Experience,
Volume 6,
Issue 4,
1976,
Page 447-462
Helmut Hummel,
Preview
|
PDF (947KB)
|
|
摘要:
AbstractThis paper introduces the machine‐independent programming system LEKTOR which has been used for research and developmental work in computer‐based learning since the beginning of 1974. The most important language elements and the system architecture are described. Emphasis is placed upon questions of implementation, particularly with regard to the data structures and the organization and administration of the worksp
ISSN:0038-0644
DOI:10.1002/spe.4380060403
出版商:John Wiley&Sons, Ltd.
年代:1976
数据来源: WILEY
|
3. |
Memoryless execution: A programmer's viewpoint |
|
Software: Practice and Experience,
Volume 6,
Issue 4,
1976,
Page 463-471
Israel Gat,
Harry J. Saal,
Preview
|
PDF (598KB)
|
|
摘要:
AbstractA set of rules for memoryless execution on third‐gene ration computer systems is presented. These rules facilitate binary memoryless interactions within the context of a trustable operating system, without restricting the dynamic use of central processor general purpose registers. An estimate of the required machine support indicates that the firmware modifications required for an implementation based on a segmented microprogrammable computer are not extensive. It is shown that the impact of the solution on operating system design is modest. Moreover, programming generality among memoryless programs is maintaine
ISSN:0038-0644
DOI:10.1002/spe.4380060404
出版商:John Wiley&Sons, Ltd.
年代:1976
数据来源: WILEY
|
4. |
Dave—a validation error detection and documentation system for fortran programs |
|
Software: Practice and Experience,
Volume 6,
Issue 4,
1976,
Page 473-486
Leon J. Osterweil,
Lloyd D. Fosdick,
Preview
|
PDF (927KB)
|
|
摘要:
AbstractThis paper describes DAVE, a system for analysing Fortran programs. DAVE is capable of detecting the symptoms of a wide variety of errors In programs, as well as assuring the absence of these errors. In addition, DAVE exposes and documents subtle data relations and flows within programs. The central analytic procedure used is a depth first search. DAVE itself is written in Fortran. Its implementation at the University of Colorado and some early experience are described.
ISSN:0038-0644
DOI:10.1002/spe.4380060405
出版商:John Wiley&Sons, Ltd.
年代:1976
数据来源: WILEY
|
5. |
A language‐independent system to aid the development of structured programs |
|
Software: Practice and Experience,
Volume 6,
Issue 4,
1976,
Page 487-503
R. J. Cunningham,
C. G. Pugh,
Preview
|
PDF (746KB)
|
|
摘要:
AbstractThe GLIDE system is an effectively language‐independent aid of modest proportions for developing programs by stepwise refinement. The basis of the system is a suitable program file environmentThe system has been implemented on the Imperial College Computer Centre Control Data machine and is currently available for the development of programs written in PASCAL, ALGOL, FORTRAN, SIMULA and JCL (Job Control Language). The program itself is written in PASCALThe facilities obtained within the scope and limitations of the system conception suggest that this type of system could be given further attentio
ISSN:0038-0644
DOI:10.1002/spe.4380060406
出版商:John Wiley&Sons, Ltd.
年代:1976
数据来源: WILEY
|
6. |
A numerical profile of commercial PL/I programs |
|
Software: Practice and Experience,
Volume 6,
Issue 4,
1976,
Page 505-525
James L. Elshoff,
Preview
|
PDF (983KB)
|
|
摘要:
AbstractA sample of 120 production PL/I programs from several commercial computing installations has been studied. Data about the programs in the sample have been extracted by a PL/I scanning program. The statistical results of the study are presented in this documentThe paper concentrates on statistical data and not on general conclusions. The data are only interpreted to the extent that it is not ill‐defined and misleading. The data profile the use of basic PL/I elements and the structure of programs written in PL/I. The reader of this report will get a better understanding of how PL/I has been used in the commercial environment up to 197
ISSN:0038-0644
DOI:10.1002/spe.4380060407
出版商:John Wiley&Sons, Ltd.
年代:1976
数据来源: WILEY
|
7. |
Compiling techniques to exploit the pattern of language usage |
|
Software: Practice and Experience,
Volume 6,
Issue 4,
1976,
Page 527-539
D. Partridge,
E. B. James,
Preview
|
PDF (825KB)
|
|
摘要:
AbstractA generalized system for language analysis is describedA description of the language is provided as input data from which the system constructs 8 tree‐structured hierarchy. This hierarchy then directs the subsequent analysis. At the same time the system collects detailed information on the structure of all units analysedPeriodically, the normal process of analysis is suspended, and the analytic information is utilized by heuristic mechanisms to optimize the subsequent processing. The optimization derives from modifications to the tree‐structured hierarchyThe system was applied as a recognizer for statements written in the FORTRAN language by programmers working within five different environme
ISSN:0038-0644
DOI:10.1002/spe.4380060408
出版商:John Wiley&Sons, Ltd.
年代:1976
数据来源: WILEY
|
8. |
Linking a CYBER76 to a 3600 |
|
Software: Practice and Experience,
Volume 6,
Issue 4,
1976,
Page 541-553
B. J. Austin,
P. M. Ewens,
R. H. Hudson,
Preview
|
PDF (985KB)
|
|
摘要:
AbstractIn mid‐1973, the Division of Computing Research, CSIKO, took delivery of a Control Data CVBER76 computer, which acts as the primary processing power of the CSIRO computer network (CSIRONET), replacing the Control Data 3600. The 3600, running under the DAD operating system, has been retained as a ‘front‐end’ to the CYBER76 and continues to support the following functions:1An interactive system allowing both editing and CYBER76 job submission2Input of job files centrally from 3600 input devices, remotely from CSIRONET devices, or from interactive console users, and output of results similarly3A permanent file (document) system, with tape archivingThis paper describes the linking of the CYBER76 to the 3600. Software for a CYBER76 PPU has been written and some changes to the 3600 and CYBER76 operating systems have been r
ISSN:0038-0644
DOI:10.1002/spe.4380060409
出版商:John Wiley&Sons, Ltd.
年代:1976
数据来源: WILEY
|
9. |
A review of design techniques for programs and data |
|
Software: Practice and Experience,
Volume 6,
Issue 4,
1976,
Page 555-567
Ben Shneidebman,
Preview
|
PDF (896KB)
|
|
摘要:
AbstractThe proliferation of papers on programming methodology focus on the program development process but only hint at the form of the final program. This paper distinguishes between the development process and the program product and presents a catalogue of possible program organizations and data structures with examples drawn from the published literature. The methods for sharing data among modules and a classification scheme for programs and data structures is presented.
ISSN:0038-0644
DOI:10.1002/spe.4380060410
出版商:John Wiley&Sons, Ltd.
年代:1976
数据来源: WILEY
|
10. |
The viscom—a system of ‘soft’ video‐terminals |
|
Software: Practice and Experience,
Volume 6,
Issue 4,
1976,
Page 569-575
M. J. Coleman,
G. S. Godliman,
G. L. Leonard,
Preview
|
PDF (424KB)
|
|
摘要:
AbstractThe Portsmouth Polytechnic Visual‐communication system, Viscom (vik‐om), has been designed to provide high‐speed Interaction with an ICL 4130 computer. A feature of the system is that its software device routine is used not only to facilitate data transfers but also to provide an open‐ended list of keyboard functions to augment those provided by the h
ISSN:0038-0644
DOI:10.1002/spe.4380060411
出版商:John Wiley&Sons, Ltd.
年代:1976
数据来源: WILEY
|
|