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

Volume 13, Number 2, February 1983

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

Volume 13, Number 3, March 1983

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

Volume 13, Number 4, April 1983

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

Volume 13, Number 5, May 1983

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

Volume 13, Number 6, June 1983

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

Volume 13, Number 7, July 1983

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

Volume 13, Number 8, August 1983

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

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

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 BibTeX
• John C. Knight, Douglas D. Dunlop: On the Design of a Special-purpose Scientific Programming Language. 893-907 BibTeX
• Colin C. Charlton, K. C. Mander: Tools and Techniques for Teaching Microprocessor Software Development. 909-920 BibTeX
• M. C. Er: Optimizing Procedure Calls and Returns. 921-939 BibTeX
• Jed Marti: The Little META Translator Writing System. 941-959 BibTeX
• 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 BibTeX

Volume 13, Number 11, November 1983

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

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