Software - Practice and Experience (SPE), Volume 8, 1978

Volume 8, Number 1, January-March 1978

• Bertrand Meyer:
  A Note on Computing Multiple Sums. 3-9
  
• Hassan Gomaa:
  The Calibration and Validation of a Hybrid Simulation/Regression Model of a Batch Computer System. 11-28
  
• Eric Foxley, D. J. Morgan:
  Monitoring the Run-time Activity of Algol 68-R Programs. 29-34
  
• Douglas Comer:
  MOUSE4: An Improved Implementation of the RATFOR Preprocessor. 35-40
  
• C. Richard Snow:
  An Exercise in the Transportation of an Operating System. 41-50
  
• Harold W. Lawson Jr., Miquel Bertran, Javier Sanagustin:
  The Formal Definition of Human/Machine Communications. 51-58
  
• Thomas Anderson, Santosh K. Shrivastava:
  Reliable Software: A Selective Annotated Bibliography. 59-76
  
• Jacob Palme:
  How I Fought with Hardware and Software and Succeeded. 77-83
  
• Jim Welsh:
  Economic Range Checks in Pascal. 85-97
  
• Arthur B. Pyster, Amitava Dutta:
  Error-checking Compilers and Portability. 99-108
  

Volume 8, Number 2, March-April 1978

• David R. Hanson:
  Event Associations in SNOBOL4 for Program Debugging. 115-129
  
• Amnon Barak, Moshe Aharoni:
  A Study of Machine-level Software Profile. 131-136
  
• W. Douglas Stirling:
  The Use of a Procedure-oriented Language for Process-oriented Simulation. 137-148
  
• Olivier Lecarme, Marie-Claude Peyrolle-Thomas:
  Self-compiling Compilers: An Appraisal of their Implementation and Portability. 149-170
  
• Berthold K. P. Horn:
  Rational Arithmetic for Minicomputers. 171-176
  
• Santosh K. Shrivastava:
  Sequential Pascal with Recovery Blocks. 177-185
  
• John R. Wolberg, Marshall Rafal:
  CONVERT-A Language for Program and Data File Conversions. 187-198
  
• Michael J. R. Shave:
  The Programming of Structural Relationships in Dynamic Environments. 199-211
  
• Eric Foxley:
  Programming Aids for the Teaching of Programming. 213-225
  
• A. R. Lawrence:
  SCRUB-Systematically Clean and Renumber Users BASIC. 227-232
  

Volume 8, Number 3, May-June 1978

• Herbert D. Schwetman:
  Job Scheduling in Multiprogrammed Computer Systems. 241-255
  
• G. S. Wilson:
  Threaded Code for Laboratory Computers. 257-263
  
• Malcolm P. Atkinson, Mick J. Jordan:
  An Effective Program Development Environment for BCPL on a Small Computer. 265-275
  
• Toshiaki Kurokawa:
  Input/Output Facilities in LISP1.9. 277-284
  
• Mick J. Jordan:
  SLP: A Paged Processor for Compact Lists. 285-300
  
• John Leece, Frank Parker:
  Use and Misuse of SPSS. 301-311
  
• W. P. Beaumont:
  An Implementation of Structured Multiprogramming. 323-339
  
• David Neal, Virgil Wallentine:
  Experiences with the Portability of Concurrent PASCAL. 341-353
  
• Jim Cunningham, Jeff Kramer:
  An Exercise in Program Design Using SIMULA Class Invariants. 355-369
  
• Jim Welch:
  Structured Programming in Macro Assembly Languages. 371-376
  

Volume 8, Number 4, July-August 1978

• William E. Howden:
  An Evaluation of the Effectiveness of Symbolic Testing. 381-397
  
• Kari Johnsen:
  A Simplification of Code Tables in a One-pass PL/M Compiler. 399-405
  
• Daniel P. Friedman, David S. Wise:
  Unbounded Computational Structures. 407-416
  
• F. U. Mucke, W. Trier:
  Improvement of Relocatable Linkage Editor (loader) Input. 417-419
  
• P. H. Ng, G. Young:
  A 1900 FORTRAN Post Mortem Dump System. 421-427
  
• Robert D. Tennent:
  Another Look at Type Compatibility in Pascal. 429-437
  
• Lars-Erik Thorelli:
  A Monitor for Small Computers. 439-450
  
• J. C. Adams, W. S. Currie, B. A. C. Gilmore:
  The Structure and Uses of the Edinburgh Remote Terminal Emulator. 451-459
  
• David Y. Feng, Richard F. Riesenfeld:
  A Symbolic System for Computer-aided Development of Surface Interpolants. 461-481
  
• Andrew T. F. Hutt:
  Data Mappings Again. 483-493
  

Volume 8, Number 5, September-October 1978

• Peter Freeman:
  Software Design Representation: A Case Study. 501-511
  
• Peter Freeman:
  Software Design Representation: Analysis and Improvement. 513-528
  
• Uday G. Gujar, David M. Fellows:
  Implementation of a Computer Job Scheduling Algorithm. 529-542
  
• James Sneeringer:
  User-interface Design for Text Editing. 543-557
  
• J. Larmouth:
  Scheduling for Immediate Turnround. 559-578
  
• M. Howard Williams, A. R. Bulmer:
  Use of a Formal Notation for Static Semantics in Compiler Design. 579-584
  
• C. Richard Snow:
  The Software Tools Project. 585-599
  
• Bruce K. Haddon, William M. Waite:
  Experience with the Universal Intermediate Language Janus. 601-616
  
• R. E. Berry:
  Experience with the Pascal P-Compiler. 617-627
  
• Nam Ng, T. Anthony Marsland:
  Introducing Graphics Capabilities to Several High-level Languages. 629-639
  

Volume 8, Number 6, November-December 1978

• J. K. R. Barnett:
  A Highly Reliable File System which Supports Multiprocessing. 645-672
  
• Páe Quittner, D. Kotsis:
  Comparison of Different Disk Searching Methods. 673-679
  
• Andrew S. Tanenbaum, Paul Klint, A. P. Wim Böhm:
  Guidelines for Software Portability. 681-698
  
• L. V. Atkinson, J. J. McGregor:
  CONA-A Conversational Algol System. 699-708
  
• Daniel Schwabe, Carlos José Pereira de Lucena:
  Design and Implementation of Data Abstraction Definition Facility. 709-719
  
• Per Brinch Hansen:
  Reproducible Testing of Monitor. 721-729
  
• Will D. Gillett, Sandra Leach:
  Embedding Semantics in LR Parser Tables. 731-753
  

Last update Wed May 22 18:22:00 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page