


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














