Software - Practice and Experience (SPE), Volume 10, 1980

Volume 10, Number 1, January 1980

Ralph E. Griswold: Linguistic Extension of Abstract Machine Modelling to Aid Software Development. 1-9
Satoru Kawai: A Semiblock Structure for Low-level Languages. 11-19
T. Anthony Marsland, S. F. Sutphen: A Heterogeneous Dual Processor. 21-28
Makato Arisawa, Minoru Iuchi: Debugging Methods in Recursive Structured FORTRAN. 29-43
A. R. Gay: Benchmarking a Multi-access System. 45-55
Philipp Hazel: Development of the ZED Text Editor. 57-76

Rakesh Agarwal, Samuel T. Chanson: A Space-efficient Code Generation Scheme for BCPL. 77-95
David H. D. Warren: Logic Programming and Compiler Writing. 97-125
Harold W. Thimbleby: Leave and Recall: Primitives for Procedural Programming. 127-134
Michael J. R. Shave: Problems of Integrity and Distributed Databases. 135-147
Masaaki Shimasaki, Shigeru Fukaya, Katsuo Ikeda, Takeshi Kiyono: An Analysis of Pascal Programs in Compiler Writing. 149-157

S. B. Verma, Maithili Sharan: Multiple Precision Floatingpoint Computation in FORTRAN. 163-173
T. R. Hopkins: PBASIC-A Verifier for BASIC. 175-181
Cary A. Coutant, Christopher W. Fraser: A Device Driver for Display Terminals. 183-187
W. Pauli, Mary Lou Soffa: Coroutine Behaviour and Implementation. 189-204
Sven E. Mattsson: Implementation of Concurrent Pascal on LSI-11. 205-217
G. B. Cox, B. C. Walsh: A HELP System for the User Community. 219-229
Steven Pemberton: Comments on an Error-recovery Scheme by Hartmann. 231-240
B. J. Cornelius, D. J. Robson, M. I. Thomas: Modification of the Pascal-P Compiler for a Single-accumulator One-address Minicomputer. 241-246

James B. Morris: Programming by Successive Refinement of Data Abstractions. 249-263
Charles Wetherell: Design Considerations for Array Processing Languages. 265-271
David M. Harland: High Speed Data Acquisition: Running a Realtime Process and a Time-shared System (UNIX) Concurrently. 273-281
Ahmed Patel, Michael Purser: Systems Programming for Data Communications on Minicomputers. 283-305
I. C. Pyle: Axioms for User-defined Operators. 307-318
W. T. Izatt: Domain Architecture and the ICL 2900 Series. 319-328
D. R. McGregor, J. R. Malone: Stabdump-A Dump Interpreter Program to Assist Debugging. 329-332

David R. Barach, David M. Fram: NPP: An Easy to Implement Preprocessor for Text Formatting. 335-346
Martin P. Lee: Bibliographic Manipulation. 347-354
Donald D. Cowan, J. Wesley Graham, James W. Welch, Carlos José Pereira de Lucena: A Data-directed Approach to Program Construction. 355-372
Thomas R. G. Green: If s and Then s: Is Nesting just for the Birds? 373-381
Amnon B. Barak, Amos Shapir: UNIX with Satellite Processors. 383-392
Gordon Stevenson: Code Generation with a Recursive Optimizer. 393-403
Richard Hart: Pattern Analysis as a Tool for Inventing Algorithms. 405-417

Stephen R. Schach: A Portable Trace for the Pascal Heap. 421-426
Darrel C. Ince, Keith Robson: An Algol 68 Based Algebraic Manipulation System. 427-430
P. J. Brown: SUPERMAC-A Macro Facility that can be Added to Existing Compilers. 431-473
H. J. Boom, Edwin D. de Jong: A Critical Comparison of Several Programming Language Implementations. 435-473
H. J. Messerschmidt: Parallel Programming for Chess Endgame Database. 475-487
David R. Hanson: A Portable Storage Management System for the Icon Programming Language. 489-500
R. Nigel Horspool: Practical Fast Searching in Strings. 501-506

V. R. Prasad: Variable Number of Parameters in Typed Languages. 507-517
P. Radford: Checking Cyclic Pointers. 519-521
J. G. Hunt: Interrupts. 523-530
Alan Jay Smith: Multiprogramming and Memory Contention. 531-552
Jean G. Vaucher: Pretty-Printing of Trees. 553-561
F. E. J. Kruseman Aretz, Jan L. A. van de Snepscheut, H. Grasdijk, J. M. H. Smeets: SATHE: Some Aspects of an ALGOL Implementation. 563-573
Hiroshi Muramatsu, Hiroaki Negishi: Page Replacement Algorithm for Large-array Manipulation. 575-587

J. Holden, I. C. Wand: An Assessment of Modula. 593-621
David R. Hanson: A Portable File Directory System. 623-634
Peter Kornerup, Bent Bruun Kristensen, Ole Lehrmann Madsen: Interpretation and Code Generation Based on Intermediate Languages. 635-658
I. R. Wilson: Pascal for School and Hobby Use. 659-671
Charles Lakos: Implementing BCPL on the Borroughs B6700. 673-683

R. M. McKeag, P. Milligan: An Experiment in Parallel Program Design. 687-696
Jiri Hoppe: A Simple Nucleus Written in Modula-2: A Case Study. 697-706
John G. P. Barnes: The Standardization of RTL/2. 707-719
Elaine N. Frankowski, William R. Franta: A Process Oriented Simulation Model Specification and Documentation Language. 721-742
R. J. Munn, J. M. Stewart: RATMAC: A Preprocessor for Writing Portable Scientific Software. 743-749
D. Schofield, A. L. Hillman, J. L. Rodgers: MM/1, A Man-Machine Interface. 751-763

Ken Moody, Martin Richards: A Coroutine Mechanism for BCPL. 765-771
J. Kriz, H. Sandmayr: Extension of Pascal by Coroutines and its Application to Quasi-parallel Programming and Simulation. 773-789
J. M. Triance, J. F. S. Yow: Experiences with a Schematic Logic Preprocessor. 791-800
J. K. R. Barnett: The Design of an Inter-task Communication Scheme. 801-816
Christopher W. Fraser: Maintaining Program Variants by Merging Editor Scripts. 817-821
Uday G. Gujar, J. Anthony Fitzgerald: An Algorithm for Programming Electrostatic Plotter Type Devices. 823-833
Steven Harrington: Infinite Power Series. 835-848

John G. P. Barnes: An Overview of Ada. 851-887
John D. Kerr: FORALL: An Extensible Fortran System for Conversationally Accessing Subroutine Libraries. 889-896
Augusto Celentano, Stefano Crespi-Reghizzi, Pierluigi Della Vigna, Carlo Ghezzi, G. Granata, F. Savoretti: Compiler Testing using a Sentence Generator. 897-918
James L. Alty, M. J. Coombs: University Computing Advisory Services: The Study of the Man-Computer Interface. 919-934
Siegfried Wendt: Modified Petri Nets as Flowcharts for Recursive Program. 935-942
Per Brinch Hansen, Jon Fellows: The Trio Operating System. 943-948

E. B. James, D. Ireland: Microcomputers as Protective Interfaces in Computing Networks. 953-958
John M. DeDourek, Uday G. Gujar, Marion E. McIntyre: Scanner Design. 959-972
K. Sreenivasan, G. A. Nelson, J. A. Maksin Jr.: An Experimental Study of Relative Throughput in a Multiprocessor Computer System. 973-086
Jacob Palme: A Viewdata Interface for Arbitrary Computer Programs. 987-991
P. D. Stephens, J. K. Yarwood, D. J. Rees, N. H. Shelness: The Evolution of the Operating System EMAS 2900. 993-1008
Richard G. Hamlet, Robert M. Haralick: Transportable Package Software. 1009-1027
A. John Hurst: Pascal-P, Program STructure and Program Behaviour. 1029-1036
Marvin V. Zelkowitz: A Case Study in Rapid Prototyping. 1037-1042