Software - Practice and Experience (SPE), Volume 13, 1983

Volume 13, Number 1, January 1983

• J. M. Sachs: STOIC, an Interactive Programming System for Dedicated Computing. 1-16
• David A. Workman: GRASP: A Software Development System Using D-Charts. 17-32
• M. Jegado: Recoverability Aspects of a Distributed File System. 33-44
• Gordon S. Blair, John A. Mariani, W. D. Shepherd: A Practical Extension to UNIX for Interprocess Communication. 45-58
• Colin C. Charlton, Paul H. Leng: Aids for Pragmatic Error Detection. 59-66
• T. J. King, Ken Moody: The Design and Implementation of CODD. 67-78
• Han Noot: Structured Text Formatting. 79-94

Volume 13, Number 2, February 1983

• S. C. Mathewson: User Acceptance: Design Considerations for a Program Generator. 101-117
• Kai Koskimies, Kari-Jouko Räihä: Modelling of Space-efficient one-pass Translation using Attribute Grammars. 119-129
• Robert A. Day: Typesetting Mathematics on Multi-Access Systems. 131-138
• Bjarne Stroustrup: Adding Classes to the C Language: An Exercise in Language Evoluation. 139-161
• Prabhaker Mateti: A Specification Schema for Indenting Programs. 163-179
• Art Lew: Decision Tables for General-purpose Scientific Programming. 181-188
• Michael Levison: Editing Mathematical Formulae. 189-195

Volume 13, Number 3, March 1983

• Prabhaker Mateti, Joxan Jaffar: A Correctness Proof of an Indenting Program. 199-226
• Anders Lindgård, Jørgen Oxenbøll, Ejvind Sørensen: Hierarchical Multi-Level Computer Network for Laboratory Automation. 227-240
• D. J. Robson: An Evaluation of Throw-away Compiling. 241-249
• Rondall E. Jones, David K. Kahaner: XERROR, the SLATEC Error-handling Package. 251-257
• Malcolm P. Atkinson, Kenneth Chisholm, W. Paul Cockshott, Richard Marshall: Algorithms for a Persistent Heap. 259-271
• Malcolm P. Atkinson, Kenneth Chisholm, W. Paul Cockshott: CMS-A Chunk Management System. 273-293
• Douglas Comer: The Costs an Benefits of Lazy Interactive Input in Pascal. 287-293

Volume 13, Number 4, April 1983

• P. J. Brown, John A. Ogden: The SUPERMAC Macro Processor in Pascal. 295-304
• Ronald H. Perrott, Danny Crookes, Peter Milligan: The Programming Language ACTUS. 305-322
• A. Wilk, W. Silverman: OPTIMA-A Portable PCODE Optimizer. 323-354
• Richard J. Whiddett: Dynamic Distributed Systems. 355-371
• José Nuno Oliveira, I. R. Wilson: An Analysis of Microcomputer Implementation of Pascal. 373-384

Volume 13, Number 5, May 1983

• P. A. Lee: Exception Handling in C Programs. 389-405
• David Holdsworth: A System for Analysing Ada Programs at Run-time. 407-421
• Václav Chvalovský: Decision Tables. 423-429
• Günter Haring, O. Schechtner: On the Realization of Extended Control Structures in FORTRAN. 431-445
• W. Robert Collings, Robert E. Noonan, Samuel T. Gregory, John C. Knight, Roy W. Hamm: Comprehensive Tools for Assembler Construction. 447-451
• Lloyd Allison: Syntax Directed Program Editing. 453-465
• D. L. Fisher: Global Variables Versus Local Variables. 467-469

Volume 13, Number 6, June 1983

• Páe Quittner: Efficient Combination of Index Tables and Hashing. 471-478
• Narain H. Gehani: An Electronic Form System-An Experience in Prototyping. 479-486
• Tsunetoshi Hayashi: A Program Structuring Preprocessor for a Macro Assembly Language. 487-494
• Stephen B. Wampler, Ralph E. Griswold: The Implementation of Generators and Goal-directed Evaluation in Icon. 495-518
• Ian H. Witten, Brian Wyvill: On the Generation and Use of Space-filling Curves. 519-525
• David Barton: Distributed Processing in a Small Office. 527-543
• Paul B. Schneck: The Myth of Virtual Memory. 537-543

Volume 13, Number 7, July 1983

• Jacob Katzenelson: Introduction to Enhanced C (EC). 551-576
• Jacob Katzenelson: Higher Level Programming and Data Abstractions-A Case Study Using Enhanced C. 577-595
• Jaroslav Nadrchal, Ivan Sklenár, Václav Kriz, Jaroslav Král: An Implementation of Algol 68 for a Small Computer. 597-660

Volume 13, Number 8, August 1983

• Lalit M. Patnaik, Phule Shailendra, K. Venkateswara Rao: Access Path Query Language for Relational Database Systems. 661-670
• Susan L. Graham, Peter B. Kessler, Marshall K. McKusick: An Execution Profiler for Modular Programs. 671-685
• Darrel C. Ince: A Software Tool for Top-down Programming. 687-695
• Richard N. Taylor: An Integrated Verification and Testing Environment. 697-713
• Douglas W. Jones: Assembly Language as Object Code. 715-725
• Charles A. Witschorik: The Real-Time Debugging Monitor for the Bell System 1A Processor. 727-743
• David R. Hanson: Simple Code Optimizations. 745-763

Volume 13, Number 9, September 1983

• Wilf R. LaLonde, John R. Pugh: A Simple Technique for Converting from a Pascal Shop to a C. Shop. 771-775
• Mark D. Apperley, Robert Spence: Hierarchical Dialogue Structures in Interactive Computer Systems. 777-790
• J. R. Malone: Implementation of a Retrospective Tracing Facility. 791-796
• Nadia Magnenat-Thalmann, Daniel Thalmann: MIRA-3D: A Three-Dimensional Graphical Extension of Pascal. 797-808
• John C. Cavouras: Implementing a Simulation Tool in a High-Level Language with no Multitasking Facilities. 809-815
• Floyd Sykes, Raymund T. Tillman, Ben Shneiderman: The Effect of Scope Delimiters on Program Comprehension. 817-824
• Mehdi T. Harandi: An Experimental COBOL Restructuring System. 825-846
• M. C. Pong, N. Ng: PIGS-A System for Programming with Interactive Graphical Support. 847-855
• V. Murali, R. K. Shyamasundar: A Sentence Generator for a Compiler for PT, a Pascal Subset. 857-869

Volume 13, Number 10, October 1983

• John R. Ellis, Nathaniel Mishkin, Mary-Claire Van Leunen, Steven R. Wood: Tools: An Environment for Time-Shared Computing and Programming. 873-892
• John C. Knight, Douglas D. Dunlop: On the Design of a Special-purpose Scientific Programming Language. 893-907
• Colin C. Charlton, K. C. Mander: Tools and Techniques for Teaching Microprocessor Software Development. 909-920
• M. C. Er: Optimizing Procedure Calls and Returns. 921-939
• Jed Marti: The Little META Translator Writing System. 941-959
• Maurice Clint, Ronald H. Perrott, Christopher M. Holt, Alan Stewart: The Influence of Hardware and Software Considerations on the Design of Synchronous Parallel Algorithms. 961-974

Volume 13, Number 11, November 1983

• Allan Ramsay: A Distributed Programming Assistant. 983-992
• Lu Ru Quian, Wei Zi Chu: An Assessment of the XR Project for Compiler Development and Transportation. 993-1004
• Vincent West: An Optimizer for a Relational Database Command Language. 1005-1012
• D. J. Robson: Towards a Conversational Language-Sensitive System for Pascal. 1013-1017
• Jim Cunningham, Silvana Zappacosta-Amboldi: Software Tools for First-Order Logic. 1019-1025
• J. H. Williamson: Incremental Back-up Procedures. 1027-1031
• Hugo J. Strubbe: Kernel for a Responsive and Graphical User Interface. 1033-1042
• Steve Cook: Playing Cards on the PERQ: An Algorithm for Overlapping Rectangles. 1043-1053
• R. H. Davis, A. J. Bathgate: A Zilog Z8000 Disassembler. 1055-1073
• Gordon Bull, Alan Lewis: Real-time BASIC. 1075-1092

Volume 13, Number 12, December 1983

• Jane W. Hughes, Malcolm S. Powell: DTL: A Language for the Design and Implementation of Concurrent Programs as Structured Networks. 1099-1112
• Jane W. Hughes, Malcolm S. Powell: The Implementation of DTL. 1113-1128
• D. Crookes, R. Fee, V. Pickering: Building Syntax Graphs from Syntax Equations: A Case Study in Modular Programming. 1129-1139
• Paul J. Layzell, J. M. Triance: Syntax Driven COBOL Compilers-An Assessment. 1141-1155
• Arthur I. Karshmer, Dirk J. Depree, James Phelan: The New Mexico State University Ring-Star System: A Distributed UNIX Environment. 1157-1168
• J. Oliver: The Necessity for Accurate Compiler-provided Routines when Evaluating Special Functions. 1169-1174
• Peter H. Welch: Parallel Assignment Revisited. 1175-1180
• A. J. Cole: A Note on Space Filling Curves. 1181-1189
• J. M. McCaig: FUMBLR: A Pascal Program for Initializin Memory. 1191-1200