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
  

Last update Sat May 26 07:06:20 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page