Software - Practice and Experience (SPE), Volume 14, 1984

Volume 14, Number 1, January 1984

Jon M. Kerridge, Dan Simpson: Three Solutions for a Robot Arm Controller Using Pascal-Plus, occam and Edison. 3-15 BibTeX
Leif Ibsen: A Portable Virtual Machine for Ada. 17-29 BibTeX
Willy Zwaenepoel, Keith A. Lantz: Perseus: Retrospective on a Portable Operating System. 31-48 BibTeX
W. Paul Cockshott, Malcolm P. Atkinson, Kenneth Chisholm, Peter J. Bailey, Ronald Morrison: Persistent Object Management System. 49-71 BibTeX
Jürg Gutknecht, Werner Winiger: Andra: The Document Preparation System of the Personal Workstation Lilith. 73-100 BibTeX

Volume 14, Number 2, February 1984

C. K. Yip: The Pascal Graphics System. 101-118 BibTeX
P. W. E. Verhelst, N. F. Verster: PEP: An Interactive Programming System with an Algol-like Programming Language. 119-133 BibTeX
Ronald Williamson, Ellis Horowitz: Concurrent Communication and Synchronization Mechanisms. 135-151 BibTeX
Martin L. Kersten, Hans Tebra: Application of an Optimistic Concurrency Control Method. 153-168 BibTeX
G. Vörös: Calculation of Co-ordinates for Optimal Hatching. 169-176 BibTeX
Bengt Nordström, Åke Wikström: The Design of an Interactive Program Development System for Pascal. 177-190 BibTeX
M. G. Wyatt: A Shorthand Preprocessor for IDMS COBOL. 191-193 BibTeX

Volume 14, Number 3, March 1984

Frank G. Pagan: Toward Complete Programming Language Descriptions that are both Formal and Understandable. 199-206 BibTeX
H. Rex Hartson: Implementation of Predicate-based Protection in MULTISAFE. 207-234 BibTeX
Paul A. Bailes, Antonio Salvadori: A Semantically-based Formatting Discipline for Pascal. 235-251 BibTeX
Bernard Henin, Daniel Couprie, Pierre Douspis: A LIS Compiler for GCOS-7. 253-261 BibTeX
Martin R. Woodward: The Application of Halstead's Software Science Theory to Algol 68 Programs. 263-276 BibTeX
Daniel Thalmann: An Interactive Data Visualization System. 277-290 BibTeX
Ravi Sethi: Preprocessing Embedded Actions. 291-297 BibTeX

Volume 14, Number 4, April 1984

Michael Purser, Chris Horn, John Sheehan: The PHS Protocol. 299-310 BibTeX
Reinhard Posch, Günter Haring: Allocating Computer Resources to Satisfy User and Management Demands. 311-321 BibTeX
Joseph L. Steffen: Experience with a Portable Debugging Tool. 323-334 BibTeX
Cynthia A. Brown, Paul Walton Purdom Jr.: A Methodology and Notation for Compiler Front End Design. 335-346 BibTeX
Mahadevan Ganapathi, Charles N. Fischer: Attributed Linear Intermediate Representations for Retargetable Code Generators. 347-364 BibTeX
Sape J. Mullender, Andrew S. Tanenbaum: Immediate Files. 365-368 BibTeX
A. J. Fischer: Guarded and Unguarded Coroutines: an Implementation in BCPL. 369-376 BibTeX
P. Heine, F. Kaiser: An Economical Implementation of the High Level Real-time Language PEARL on Microcomputers: Intel RMX86-PEARL. 377-382 BibTeX
Bo Einarsson, W. Morven Gentleman: Mixed Language Programming. 383-395 BibTeX

Volume 14, Number 5, January 1984

Massimo Ancona, Leila De Floriani, Gabriella Dodero, S. Mancosu: Integrating Library Modules into Pascal Programs. 401-412 BibTeX
Narain H. Gehani, Thomas A. Cargill: Concurrent Programming in the Ada Language: The Polling Bias. 413-427 BibTeX
Jørgen Lindskov Knudsen: Exception Handling-A Static Approach. 429-449 BibTeX
R. M. McKeag, Ann Eves, E. J. Rooney: Designing Software for Children. 451-461 BibTeX
Zbigniew Ciechanowicz, A. C. De Weever: The 'Completeness' of the Pascal Test Suite. 463-471 BibTeX
Daniel R. Perkins, Dennis Volper: UCSD Pascal on the VAX, Portability and Performance. 473-482 BibTeX
G. Pfeiffer: A Flexible Command Generation Technique for Application in Dialogue Systems. 483-489 BibTeX
James S. Briggs: Two Implementations of the Ada Program Library. 491-500 BibTeX

Volume 14, Number 6, June 1984

Thomas W. Christopher: Reference Count Garbage Collection. 503-507 BibTeX
R. Geoff Dromey: Exploiting Partial Order with Quicksort. 509-518 BibTeX
Elena Barcucci, Gianluca Pelacani: A Software Development System Based on a Macroprocessor. 519-531 BibTeX
Gill Ringland: Software Engineering in a Development Group. 533-559 BibTeX
Sallie M. Henry, Dennis G. Kafura: The Evaluation of Software Systems' Structure Using Quantitative Software Metrics. 561-573 BibTeX
Kim Walden: Automatic Generation of Make Dependencies. 575-585 BibTeX
J. E. M. Hamilton: The Design of an Interactive Graphics System for the Display of Meteorological Fields. 587-600 BibTeX

Volume 14, Number 7, Juli 1984

David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson: Adam: An Ada-based Language for Multiprocessing. 605-642 BibTeX
Anders Ardö, Lars Philipson: Implementation of a Pascal Based Parallel Lanugage for a Mulitprocessor Computer. 643-657 BibTeX
B. W. Marsden: A STandard Pascal Event Simulation Package. 659-684 BibTeX
Giorgio Bruno: Using Ada for Discrete Event Simulation. 685-695 BibTeX
Anna Hac: PL/I as a Discrete Event Simulation Tool. 697-702 BibTeX

Volume 14, Number 8, August 1984

B. J. Cornelius, I. R. Lowman, D. J. Robson: Steady-State Compilers. 705-709 BibTeX
Maurice Clint, C. Vicent: The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs. 711-737 BibTeX
James L. Johnson: Anatomy of an Educational Network Database System. 739-754 BibTeX
James R. Cordy: Compile-Time Detection of Aliasing in Euclid Programs. 755-768 BibTeX
M. Elizabeth C. Hull, R. M. McKeag: A General Approach to Queuing in C. S. P. 769-773 BibTeX
B. L. Marks: Taming the PL/I Syntax. 775-789 BibTeX
Ariel Pashtan, Elizabeth A. Unger: Resource Monitors: A Design Methodology for Operating Systems. 791-806 BibTeX

Volume 14, Number 9, September 1984

Anne D. Wilson: Programs to Process Trees, Representing Program Structures and Data Structures. 807-816 BibTeX
Ian Sommerville, D. J. Smith: An Electronic Secretary. 817-825 BibTeX
John T. Robinson: Separating Policy from Correctness in Concurrency Control Design. 827-844 BibTeX
J. C. Huang, Melody Ho, Ted Law: A Simulator for Real-Time Software Debugging and Testing. 845-855 BibTeX
Jack W. Davidson, Christopher W. Fraser: Register Allocation and Exhaustive Peephole Optimization. 857-865 BibTeX
Kuo-Cheng Li, Herbert D. Schwetman: Implementing a Scaler C Compiler on the Cyber 205. 867-888 BibTeX
I. C. Pyle: Transducers are Type-converters. 889-899 BibTeX
Brian E. Carpenter, Robert Cailliau: Experience with Remote Procedure Calls in a Real-time Control System. 901-930 BibTeX

Volume 14, Number 10, October 1984

Jose Felipe Contla: Compact Coding of Syntax Tables. 909-919 BibTeX
Philip Leith: Top-Down Design Within a Functional Environment. 921-930 BibTeX
Paolo Corsini, Graziano Frosini, Lanfranco Lopriore: Distributing and Revoking Access Authorizations on Abstract Objects: A Capability Approach. 931-943 BibTeX
Manuel Reimer: Implementation of the Database Programming Language Modula/R on the Personal Computer Lilith. 945-956 BibTeX
D. Crookes, J. W. G. Elder: An Experiment in Language Design for Distributed Systems. 957-971 BibTeX
David M. Harland, Hamish I. E. Gunn: Polymorphic Programming I. Another Language Designed on Semantic Principles. 973-997 BibTeX

Volume 14, Number 11, November 1984

J. B. Ju, K. D. Baker: Implementing a File Transfer Protocol between PDP11 and PRIME 550 Computers. 1009-1019 BibTeX
Hamish I. E. Gunn, David M. Harland: Polymorphic Programming II. An Orthogonal Tagged High Level Architecture Abstract Machine. 1021-1046 BibTeX
J. K. Doyle, K. I. Mandelberg: A Portable PDP-11 Simulator. 1047-1059 BibTeX
Yoshihiro Tsujino, M. Ando, Toshiro Araki, Nobuki Tokura: Concurrent C: A Programming Language for Distributed Multiprocessor Systems. 1061-1078 BibTeX
Günter Valdorf: Dedicated, Distributed and Portable Operating Systems: a Structuring Concept. 1079-1093 BibTeX
Michael Spenke, Heinz Mühlenbein, Monika Mevenkamp, Friedemann Mattern, Christian Beilken: A Language Independent Error Recovery Method for LL(1) Parsers. 1095-1107 BibTeX

Volume 14, Number 12, December 1984

M. E. Dewey: QS: a Tool for General Data Input. 1113-1121 BibTeX
Thomas J. LeBlanc, Robert H. Gerber, Robert P. Cook: The StarMod Distributed Programming Kernel. 1123-1139 BibTeX
H. F. R. Arciszewski, E. M. Van Gasteren: P/CL: A Flexible Input Processor. 1141-1148 BibTeX
Mark Rain: Avoiding Trickle-down Recompilation in the Mary2 Implementation. 1149-1157 BibTeX
Darrel C. Ince: A Source Code Control System Based on Semantic Nets. 1159-1168 BibTeX
Emanuel Derman, Christopher J. Van Wyk: A Simple Equation Solver and its Application to Financial Modelling. 1169-1181 BibTeX
Robert I. Winner, L. B. Reed: Operating System Support for Sharing Writable Control Store. 1183-1196 BibTeX
J. Barrie Bresnahan, David T. Barnard, Ian A. Macleod: WSH-A New Command Interpreter for UNIX. 1197-1205 BibTeX