default search action
Software - Practice and Experience (SPE), Volume 16, 1986
Volume 16, Number 1, January 1986
- Zavdi 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, Stephen John Turner:
Using Coroutines in Pascal. 45-61 - Jon M. Kerridge, Dan Simpson:
Communicating Parallel Processes. 63-86 - R. R. Patel, Robin 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 - Josephine Ada Anyanwu, Lindsay F. Marshall:
A Crash Resistant UNIX File System. 107-118 - Anthony 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 J. 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. John 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, Roger G. Stone:
Yet Another Storage Technique for LR Parsing Tables. 389-401
Volume 16, Number 5, May 1986
- John 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. Softw. Pract. Exp. 16(8): 689-700 (1986) - Alessandro Fantechi, Paola Inverardi, Norma Lijtmaer:
Using High Level Languages for Local Computer Network Communication: A Case Study in Ada. Softw. Pract. Exp. 16(8): 701-717 (1986) - M. Howard Williams, I. M. Pattison, J. C. Neves:
Reorganization in a Simple Database System. Softw. Pract. Exp. 16(8): 719-729 (1986) - Michael E. Dewey:
TBFLP-A Simple Preprocessor for Tables. Softw. Pract. Exp. 16(8): 731-738 (1986) - Seppo Linnainmaa:
Icecream, Transportable Software for Creating Fiendly Human Interfaces. Softw. Pract. Exp. 16(8): 739-750 (1986) - Peter G. Clayton:
A Code Generator Synthesizer for the Non-specialist. Softw. Pract. Exp. 16(8): 751-760 (1986) - Wolfgang A. Halang:
Suitable Multiprocessor Structures and Virtual Storage Management when Applying a Feasible Scheduling Algorithm in Hard Real-Time Environment. Softw. Pract. Exp. 16(8): 761-769 (1986) - Pearl Brereton:
Management of Replicated Files in a UNIX Environments. Softw. Pract. Exp. 16(8): 771-780 (1986) - Paul B. Schneck:
Superlinear Speed-Up and the Halting Problem. Softw. Pract. Exp. 16(8): 781-782 (1986)
Volume 16, Number 9, September 1986
- Richard Bornat:
A Protocol for Generalized occam. Softw. Pract. Exp. 16(9): 783-799 (1986) - Vincent P. Heuring:
The Automatic Generation of Fast Lexical Analysers. Softw. Pract. Exp. 16(9): 801-808 (1986) - Webb Miller, Eugene W. Myers:
Side-effects in Automatic File Updating. Softw. Pract. Exp. 16(9): 809-820 (1986) - Narain H. Gehani, William D. Roome:
Concurrent C. Softw. Pract. Exp. 16(9): 821-844 (1986) - M. Elizabeth C. Hull, G. Donnan:
Contextually Communicating Sequential Processes: A Software Engineering Environment. Softw. Pract. Exp. 16(9): 845-864 (1986) - David A. Carrington:
Profiling under ELXSI UNIX. Softw. Pract. Exp. 16(9): 865-873 (1986)
Volume 16, Number 10, October 1986
- Anthony 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.