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
• Leif Ibsen: A Portable Virtual Machine for Ada. 17-29
• Willy Zwaenepoel, Keith A. Lantz: Perseus: Retrospective on a Portable Operating System. 31-48
• W. Paul Cockshott, Malcolm P. Atkinson, Kenneth Chisholm, Peter J. Bailey, Ronald Morrison: Persistent Object Management System. 49-71
• Jürg Gutknecht, Werner Winiger: Andra: The Document Preparation System of the Personal Workstation Lilith. 73-100

Volume 14, Number 2, February 1984

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

Volume 14, Number 3, March 1984

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

Volume 14, Number 4, April 1984

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

Volume 14, Number 5, January 1984

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

Volume 14, Number 6, June 1984

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

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
• Anders Ardö, Lars Philipson: Implementation of a Pascal Based Parallel Lanugage for a Mulitprocessor Computer. 643-657
• B. W. Marsden: A STandard Pascal Event Simulation Package. 659-684
• Giorgio Bruno: Using Ada for Discrete Event Simulation. 685-695
• Anna Hac: PL/I as a Discrete Event Simulation Tool. 697-702

Volume 14, Number 8, August 1984

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

Volume 14, Number 9, September 1984

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

Volume 14, Number 10, October 1984

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

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
• Hamish I. E. Gunn, David M. Harland: Polymorphic Programming II. An Orthogonal Tagged High Level Architecture Abstract Machine. 1021-1046
• J. K. Doyle, K. I. Mandelberg: A Portable PDP-11 Simulator. 1047-1059
• Yoshihiro Tsujino, M. Ando, Toshiro Araki, Nobuki Tokura: Concurrent C: A Programming Language for Distributed Multiprocessor Systems. 1061-1078
• Günter Valdorf: Dedicated, Distributed and Portable Operating Systems: a Structuring Concept. 1079-1093
• Michael Spenke, Heinz Mühlenbein, Monika Mevenkamp, Friedemann Mattern, Christian Beilken: A Language Independent Error Recovery Method for LL(1) Parsers. 1095-1107

Volume 14, Number 12, December 1984

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