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

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

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

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

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

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