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 BibTeX
• A. J. Fisher: A New Algorithm for Generating Hilbert Curves. 5-12 BibTeX
• David A. Watt: Executable Semantic Descriptions. 13-43 BibTeX
• I. A. Horton, S. J. Turner: Using Coroutines in Pascal. 45-61 BibTeX
• Jon M. Kerridge, Dan Simpson: Communicating Parallel Processes. 63-86 BibTeX
• R. R. Patel, R. B. Hunter: Implementing ALGOL 68 Predicates. 87-97 BibTeX

Volume 16, Number 2, February 1986

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

Volume 16, Number 3, March 1986

• D. J. Cooke, Fatemeh Abdollahzadeh: Insecurities in FORTRAN DO-loops. 201-216 BibTeX
• Richard R. Ragan: CONTEXT: An On-line Documentation System. 217-224 BibTeX
• Jason Gait: A Probe Effect in Concurrent Programs. 225-233 BibTeX
• R. J. Lunbeck: File Updating Revisited. 235-241 BibTeX
• 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 BibTeX
• Jyrki Katajainen, Martti Penttonen, Jukka Teuhola: Syntax-directed Compression of Program Files. 269-276 BibTeX
• A. Linton, Fabio Panzieri: A Communication System Supporting Large Datagrams on a Local Area Network. 277-289 BibTeX
• Peter J. Brown: Interactive Documentation. 291-299 BibTeX
• Theo de Ridder: Coroutines for C Reconsidered. 301-302 BibTeX

Volume 16, Number 4, April 1986

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

Volume 16, Number 5, May 1986

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

Volume 16, Number 6, June 1986

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

Volume 16, Number 7, July 1986

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

Volume 16, Number 8, August 1986

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

Volume 16, Number 9, September 1986

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

Volume 16, Number 10, October 1986

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

Volume 16, Number 11, November 1986

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

Volume 16, Number 12, December 1986

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