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 BibTeX
• Satoru Kawai: A Semiblock Structure for Low-level Languages. 11-19 BibTeX
• T. Anthony Marsland, S. F. Sutphen: A Heterogeneous Dual Processor. 21-28 BibTeX
• Makato Arisawa, Minoru Iuchi: Debugging Methods in Recursive Structured FORTRAN. 29-43 BibTeX
• A. R. Gay: Benchmarking a Multi-access System. 45-55 BibTeX
• Philipp Hazel: Development of the ZED Text Editor. 57-76 BibTeX

Volume 10, Number 2, February 1980

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

Volume 10, Number 3, March 1980

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

Volume 10, Number 4, April 1980

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

Volume 10, Number 5, May 1980

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

Volume 10, Number 6, June 1980

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

Volume 10, Number 7, July 1980

• V. R. Prasad: Variable Number of Parameters in Typed Languages. 507-517 BibTeX
• P. Radford: Checking Cyclic Pointers. 519-521 BibTeX
• J. G. Hunt: Interrupts. 523-530 BibTeX
• Alan Jay Smith: Multiprogramming and Memory Contention. 531-552 BibTeX
• Jean G. Vaucher: Pretty-Printing of Trees. 553-561 BibTeX
• 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 BibTeX
• Hiroshi Muramatsu, Hiroaki Negishi: Page Replacement Algorithm for Large-array Manipulation. 575-587 BibTeX

Volume 10, Number 8, August 1980

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

Volume 10, Number 9, September 1980

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

Volume 10, Number 10, Octpber 1980

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

Volume 10, Number 11, November 1980

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

Volume 10, Number 12, December 1980

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