Software - Practice and Experience (SPE), Volume 16, 1986

Volume 16, Number 1, January 1986

• Zavid L. Lichtman: The Function of T and NIL in LISP. 1-3
• A. J. Fisher: A New Algorithm for Generating Hilbert Curves. 5-12
• David A. Watt: Executable Semantic Descriptions. 13-43
• I. A. Horton, S. J. Turner: Using Coroutines in Pascal. 45-61
• Jon M. Kerridge, Dan Simpson: Communicating Parallel Processes. 63-86
• R. R. Patel, R. B. Hunter: Implementing ALGOL 68 Predicates. 87-97

Volume 16, Number 2, February 1986

• David G. Foster: Seperate Compilation in a Modula-2 Compiler. 101-106
• J. A. Anyanwu, Lindsay F. Marshall: A Crash Resistant UNIX File System. 107-118
• A. G. Middleton: Routines: An Argument against the Conventional Approach to Functions and Procedures. 119-130
• Ian Sommerville, Ray Welland, I. Bennett, Ronny Thomson: SOFTLIB-A Documentation Management System. 131-143
• Kai Li, Paul Hudak: A New List Compaction Method. 145-163
• M. G. Khayat: Printing Arabic Text Using Dot Matrix Printers. 165-172
• Jay Ramanathan, Charley Shubra: Template Design for File Processing Applications. 173-182
• Barton P. Miller, Cathryn Macrander, Stuart Sechrest: A Distributed Programs Monitor for Berkeley UNIX. 183-200

Volume 16, Number 3, March 1986

• D. J. Cooke, Fatemeh Abdollahzadeh: Insecurities in FORTRAN DO-loops. 201-216
• Richard R. Ragan: CONTEXT: An On-line Documentation System. 217-224
• Jason Gait: A Probe Effect in Concurrent Programs. 225-233
• R. J. Lunbeck: File Updating Revisited. 235-241
• Stephen R. Schach, Peter T. Wood: An Almost Path-free Very High-level Interactive Data Manipulation Language for a Microcomputer-based Database System. 243-268
• Jyrki Katajainen, Martti Penttonen, Jukka Teuhola: Syntax-directed Compression of Program Files. 269-276
• A. Linton, Fabio Panzieri: A Communication System Supporting Large Datagrams on a Local Area Network. 277-289
• Peter J. Brown: Interactive Documentation. 291-299
• Theo de Ridder: Coroutines for C Reconsidered. 301-302

Volume 16, Number 4, April 1986

• T. Pedersen: Process Administration in a High Level Language. 303-333
• Kenneth Forsythe, Stan Matwin: Copying of Dynamic Structures in a Pascal Environment. 335-340
• Alan Burns, J. A. Kirkham: The Construction of Information Management System Prototypes in Ada. 341-350
• Ronald Morrison, Alfred L. Brown, Peter J. Bailey, Antony J. T. Davie, Alan Dearle: A Persistent Graphics Facility for the ICL PERQ. 351-367
• Christopher J. Van Wyk: AWK as Glue for Programs. 369-388
• A. M. M. Al-Hussaini, R. G. Stone: Yet Another Storage Technique for LR Parsing Tables. 389-401

Volume 16, Number 5, May 1986

• J. G. Griffiths: An Algorithm for Displaying a Class of Space-filling Curves. 403-411
• I. A. Newman: Processing Variable Length Abbreviations: Some Observations. 413-423
• F. Tuynman, Louis O. Hertzberger: A Distributed Real-time Operating System. 425-441
• David J. Taylor, James P. Black: Experimenting with Data Structures. 443-456
• P. D. Terry: A Modula-2 Kernel for Supporting Monitors. 457-472
• William M. Waite: The Cost of Lexical Analysis. 473-488
• Dan C. Marinescu: Inter-process Communication in MVS/XA and Applications for Scientific and Engineering Information Processing. 489-501

Volume 16, Number 6, June 1986

• Bruce I. Blum: Iterative Development of Information Systems: A Case Study. 503-515
• Michael W. Brown: Integrating Distributed Array Processing into EMAS 2900. 517-529
• P. D. Stephens, J. K. Yarwood: Providing Multi-Users Access to Distributed Array Processors. 531-539
• Ken-Chih Liu: A String Pattern Matching Extension to Pascal and Some Comparisons with SNOBOL4. 541-548
• R. F. Coombs: A Management System for Dirty Data. 549-558
• J. A. B. Palmer: A Fortran Procedure for Drawing Some Space-filling Curves. 559-574
• G. Davies, S. Bowsher: Algorithms for Pattern Matching. 575-601

Volume 16, Number 7, July 1986

• Mark Woodman: Formatted Syntaxes and Modula. 605-625
• Eliezer Kantorowitz, H. Laor: Automatic Generation of Useful Syntax Error Messages. 627-640
• Robert L. Bernstein: Multiplication by Integer Constants. 641-652
• Evan Adams, Steven S. Muchnick: Dbxtool: A Window-Based Symbolic Debugger for Sun Workstations. 653-669
• Synnove Vassiliades, Michael D. Sayers, Jean Bacon: A Monitor Tool for a Network Based on the Cambridge Ring. 671-687

Volume 16, Number 8, August 1986

• Stein Krogdahl, K. A. Olsen: Ada, as Seen from Simula. 689-700
• Alessandro Fantechi, Paola Inverardi, Norma Lijtmaer: Using High Level Languages for Local Computer Network Communication: A Case Study in Ada. 701-717
• M. Howard Williams, I. M. Pattison, J. C. Neves: Reorganization in a Simple Database System. 719-729
• Michael E. Dewey: TBFLP-A Simple Preprocessor for Tables. 731-738
• Seppo Linnainmaa: Icecream, Transportable Software for Creating Fiendly Human Interfaces. 739-750
• Peter G. Clayton: A Code Generator Synthesizer for the Non-specialist. 751-760
• Wolfgang A. Halang: Suitable Multiprocessor Structures and Virtual Storage Management when Applying a Feasible Scheduling Algorithm in Hard Real-Time Environment. 761-769
• Pearl Brereton: Management of Replicated Files in a UNIX Environments. 771-780
• Paul B. Schneck: Superlinear Speed-Up and the Halting Problem. 781-782

Volume 16, Number 9, September 1986

• Richard Bornat: A Protocol for Generalized occam. 783-799
• Vincent P. Heuring: The Automatic Generation of Fast Lexical Analysers. 801-808
• Webb Miller, Eugene W. Myers: Side-effects in Automatic File Updating. 809-820
• Narain H. Gehani, William D. Roome: Concurrent C. 821-844
• M. Elizabeth C. Hull, G. Donnan: Contextually Communicating Sequential Processes: A Software Engineering Environment. 845-864
• David A. Carrington: Profiling under ELXSI UNIX. 865-873

Volume 16, Number 10, October 1986

• A. J. Fisher: A Multi-processor Implementation of occam. 875-892
• A. Norris-Sherborn, Wendy J. Milne: A Practical Approach to Data Modelling in Spatial Applications. 893-913
• Mordechai Ben-Ari: Foreet: A Tool for Design and Documentation of Fortran Programs. 915-924
• Guy Lapalme, Suzanne Chapleau: Logicon: An Integration of Prolog into Icon. 925-944
• Robert D. Gaglianello, Howard P. Katseff: Communications in Meglos. 945-963

Volume 16, Number 11, November 1986

• Mel Slater: Segments on Bit-mapped Graphics Displays. 965-980
• R. Geoff Dromey: An Algorithm for The Selection Problem. 981-986
• T. H. Merrett, Ted van Rossum: A Functional Processor for the Relational Algebra on a Microcomputer. 987-1002
• Ali Mili, Xiaoyang Sean Wang, Yu Qing: Specification Methodology: An Integrated Relational Approach. 1003-1030
• C. Richard Snow, Harry Whitfield: An Experiment with the Newcastle Connection Protocol. 1031-1043
• Paddy Anstey: Computing Advice at a Distance: the 'Remote Advisory' Concept. 1045-1052
• Antonio Cantoni, Lindsay Kleeman: Three Way Branching Self Consistency Checking of Hardware and Software. 1053-1054

Volume 16, Number 12, December 1986

• Jeffrey C. Huskamp: A Modular Operating System for the CRAY-1. 1059-1076
• Sivarama P. Dandamudi, Paul G. Sorenson: Algorithms for BD Trees. 1077-1096
• A. N. Walker: The Ilem Project: Pascal to Algol in Easy Stages I: Outward Bound. 1097-1107
• Jiri Hoppe: Another Approach to the Implementation of Synchronization Primitives. 1109-1116
• Roy D. Dowsing, M. T. Sanderson: Writing Concurrent Assemblers-A Case Study in Path Pascal. 1117-1135