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

Last update Tue May 21 19:37:58 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page