Software - Practice and Experience (SPE), Volume 7, 1977

Volume 7, Number 1, January-March 1977

• Niklaus Wirth: Modula: a Language for Modular Multiprogramming. 3-35 BibTeX
• Niklaus Wirth: The Use of Modula. 37-65 BibTeX
• Niklaus Wirth: Design and Implementation of Modula. 67-84 BibTeX
• John van Meurs, Ernst Lopes Cardazo: Interfacing the User. 85-93 BibTeX
• Robert B. K. Dewar, A. P. McCann: MACRO SPITBOL-a SNOBOL4 Compiler. 95-113 BibTeX
• Horst D. Wettstein: The Implementation of Synchronizing Operations in Various Environment. 115-126 BibTeX
• M. G. Richardson, Stephen J. Hague: The Design and Implementation of the NAG Master Library File System. 127-137 BibTeX
• H. S. Heaps, Thiruvengadam Radhakrishnan: Compaction of Diagnostic Messages for Compilers. 139-144 BibTeX

Volume 7, Number 2, March-April 1977

• Peter M. Neely: On the Use of Integer Arithmetic to Achieve Confirmably Correct Computation. 159-163 BibTeX
• Glenn H. MacEwen: A Simulation Sequencing Algorithm. 165-172 BibTeX
• Jan van den Bos, Hendrik-Jan Thomassen: COMLNK-a File Transport and Job Entry Utility for a Communication Link. 173-177 BibTeX
• David R. Hanson: Storage Management for an Implementation of SNOBOL4. 179-192 BibTeX
• George O. Strawn: Does APL Really Need Run-time Parsing. 193-200 BibTeX
• R. J. Botting: Efficient Storage for Amorphous Data. 201-203 BibTeX
• I. S. Torsun, S. K. Robinson: Non-'Interpretive' FORTRAN Input/Output. 205-213 BibTeX
• Thomas Plum: Fooling the User of a Programming Language. 215-221 BibTeX
• N. Bernstein, B. Knobe: A Non-general-purpose Operating System. 223-226 BibTeX
• D. G. Colquhoun: A Fast Approximation to the Sine Function. 227-229 BibTeX
• Jeffrey S. Rohl: Converting a Class of Recursive Procedures into Non-recursive Ones. 231-238 BibTeX
• Robert F. Rosin: A Graphical Notation for Describing System Implementation. 239-250 BibTeX
• B. L. M. Wyvill: PICTURES-68 MK1. 251-261 BibTeX
• Brian E. Carpenter, R. W. Doran, K. Hopper: Non-recursive Recursion. 263-269 BibTeX
• Donald R. Innes: Exploiting the Least Recently Used Page Replacement Algorithm. 271-273 BibTeX
• Zavid L. Lichtman: Interpretation Control Using A Linear Tree Representation. 275-278 BibTeX
• John R. White, Richard K. Anderson: Supporting the Structured Development of Complex PL/I Software Systems. 279-293 BibTeX

Volume 7, Number 3, May-June 1977

• S. K. Robinson, I. S. Torsun: Dynamic Analysis of Program Performance (DAP) in a Fortran Batch Environment. 307-315 BibTeX
• Brian A. Wichmann: How to Call Procedures, or Secong Thoughts on Ackermann's Function. 317-329 BibTeX
• D. Holdsworth: A Simple Network Interacting Program's Executive (SNIPE). 341-345 BibTeX
• G. Hunter, M. Kuriyan, A. Wallis: The Advantages of Stream Output Procedures over Format-dominated Record Transmissions. 347-356 BibTeX
• Patricia R. Mohilner: Using Pascal in a Fortran Environment. 357-362 BibTeX
• Toney Storey, Stephen Todd: Performance Analysis of Large Systems. 363-369 BibTeX
• D. Colemen: The Systematic Design of File-processing Programs. 371-381 BibTeX
• Lawrence R. Symes, R. R. Oldehoeft: Success and Failure Analysis of a Problem Solving System Implementation. 383-389 BibTeX
• Urs Ammann: On Code Generation in a PASCAL Compiler. 391-423 BibTeX

Volume 7, Number 4, July-August 1977

• Andrzej Ormicki: Real-time BASIC for Laboratory Use. 435-443 BibTeX
• Jacques Cohen, Neal Carpenter: A Language for Inquiring about the Run-time Behaviour of Programs. 445-460 BibTeX
• Peter Neely: Implementation Independent Arithmetic: Speculation for Discussion. 461-468 BibTeX
• M. Howard Williams, A. R. Bulmer: Array Handling in Cobol Compilers. 469-474 BibTeX
• Burt M. Leavenworth: Structured Debugging Using a Domain Specific Language. 475-482 BibTeX
• Ronald H. Perrott, A. K. Raja: Quasiparallel Tracing. 483-492 BibTeX
• W. Morven Gentleman, J. Ian Munro: Designing Overlay Structures. 493-500 BibTeX
• Neil E. Wiseman, P. Robinson: An Operating System for Interactive Terminals. 501-510 BibTeX
• John Fitch: Profiling a Large Program. 511-533 BibTeX

Volume 7, Number 5, September-October 1977

• P. J. Brown: More on the Re-creation of Source Code from Reverse Polish. 545-551 BibTeX
• Robert W. Witty: Dimensional Flowcharting. 553-584 BibTeX
• Makoto Kobayshi: A Set of Strategy-independent Restructuring Algorithms. 585-594 BibTeX
• A. L. Hillman, D. Schofield: EDIT-an Interactive Network Service; Design and Implementation. 595-611 BibTeX
• Andrew M. Lister, P. J. Sayer: Hierarchical Monitors. 613-623 BibTeX
• David R. Hanson: RATSNO-An Experiment in Software Adaptability. 625-630 BibTeX
• M. J. Rees, A. W. Oppenheimer: SOBS-An Incremental BASIC System. 631-643 BibTeX
• J. M. Craddock: Planning the Software for a Personal Research Contract. 645-653 BibTeX
• Oddur Benediktsson: Sequential File Processing in Fortran. 655-659 BibTeX

Volume 7, Number 6, November-December 1977

• Harvey Abramson, Tom Rushworth, Ted Venema: TOSI: A Tree Oriented String Interpreter for the Design and Implementation of Semantics. 663-670 BibTeX
• Malcolm P. Atkinson: IDL: A Machine-independent Data Language. 671-684 BibTeX
• Jim Welsh, W. J. Sneeringer, C. A. R. Hoare: Ambiguities and Insecurities in Pascal. 685-696 BibTeX
• John Hammond: BASIC-An Evaluation of Processing Methods and a Study of some Programs. 697-711 BibTeX
• John Fitch, A. C. Norman: Implementing LISP in a High-level Language. 713-725 BibTeX
• Richard George: Eliminate Flowchart Drawings. 727-732 BibTeX
• Michael J. R. Shave: The Simulation and Use of a TABLE Data Type. 733-745 BibTeX
• Richard N. Fisher, Gordon W. McQuarrie: MPL1700-A High(er)-level Microprogramming Language. 747-757 BibTeX
• Kazuo Ushijima: Step to an Efficient Program for Floating-point Summation. 759-769 BibTeX
• Ian A. Macleod: Design and Implementation of a Display Oriented Text Editor. 771-792 BibTeX
• R. S. Scowen: Some Aids for Program Documentation. 779-792 BibTeX