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
  

Volume 10, Number 2, February 1980

• 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
  

Volume 10, Number 3, March 1980

• 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
  

Volume 10, Number 4, April 1980

• 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
  

Volume 10, Number 5, May 1980

• 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
  

Volume 10, Number 6, June 1980

• 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
  

Volume 10, Number 7, July 1980

• 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
  

Volume 10, Number 8, August 1980

• 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
  

Volume 10, Number 9, September 1980

• 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
  

Volume 10, Number 10, Octpber 1980

• 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
  

Volume 10, Number 11, November 1980

• 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
  

Volume 10, Number 12, December 1980

• 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-86
  
• 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
  

Last update Thu May 23 15:51:11 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page