Software - Practice and Experience (SPE), Volume 11, 1981

Volume 11, Number 1, January 1981

Mary Shaw, Guy T. Almes, Joseph M. Newcomer, Brian K. Reid, William A. Wulf: A Comparison of Programming Languages for Software Engineering. 1-52 BibTeX
Nadia Magnenat-Thalmann, Daniel Thalmann: A Graphical Pascal Extension Based on Graphical Types. 53-62 BibTeX
Gary D. Knott: Procedures for Managing Extendible Array Files. 63-84 BibTeX
M. Kronental, J. W. Roberts, K. H. Timmesfeld, I. C. Wand: The LTPL-E Tasking Proposals. 85-97 BibTeX
Leslie M. Goldschlager: Short Algorithms for Space-Filling Curves. 99-100 BibTeX

Siba N. Mohanty: Software Cost Estimation. 103-121 BibTeX
Arthur H. J. Sale: Forward-declared Procedures, Parameter-lists and Scope. 123-130 BibTeX
Bjarne Stroustrup: 'Long Return': A Technique for Improving the Efficiency of Inter-module Communication. 131-143 BibTeX
James P. Black, David J. Taylor, David E. Morgan: A Case Study in Fault Tolerant Software. 145-157 BibTeX
Abraham Silberschatz: On the Access-control Mechanism of the Program Component Manager. 159-166 BibTeX
Peter J. L. Wallis: Handling Type Information when Compiling a Language with User-defined Types. 167-173 BibTeX
Martin L. Kersten, Anthony I. Wasserman: The Architecture of the PLAIN Data Base Handler. 175-186 BibTeX
Uday G. Gujar, David M. Fellows: FORTRAN Routines with Optional Arguments. 187-193 BibTeX
Colin C. Charlton, Paul H. Leng: Editors: Two for the Price of One. 195-202 BibTeX

B. Negus, M. J. Hunt, J. A. Prentice: DIALOG: A Scheme for the Quick and Effective Production of Interactive Applications Software. 205-224 BibTeX
Mark Rain: The Structure of the MARY/2 Compiler. 225-235 BibTeX
Arthur J. Bernstein, J. Robert Ensor: A Modula Based Language Supporting Hierarchical Development and Verification. 237-255 BibTeX
Jim Welsh, Andrew M. Lister: A Comparative Study of Task Communication in Ada. 257-290 BibTeX
Paolo Ancilotti, Norma Lijtmaer, Maurelio Boari, Antonio Natali: Linguistic Mechanisms for Resource Management Strategies. 291-314 BibTeX
Michel Banâtre, André Couvert, D. Herman, Michel Raynal: An Experience in Implementing Abstract Data Types. 315-320 BibTeX

P. G. Thomas, B. E. Staff: A Design Language for the Definition of a Retrieval System Interface for Casual Users of a Relational Database. 417-424 BibTeX
M. Lemoine, J. Mullor: Software Transferability: A Practical Approach. 425-433 BibTeX
W. Morven Gentleman: Message Passing Between Sequential Processes: the Reply Primitive and the Administrator Concept. 435-466 BibTeX
M. A. Maclean, J. E. L. Peck: CHEF: a Versatile Portable Text Editor. 467-477 BibTeX
J. E. L. Peck, M. A. Maclean: The Construction of a Portable Editor. 479-489 BibTeX
Ronald H. Perrott, P. S. Dhillon: An Experiment with Fortran and Pascal. 491-496 BibTeX
Peter B. Henderson, Roger B. Gimson: Modularization of Large Programs. 497-520 BibTeX
D. W. Singer: SCENARIOS: An Event Management Package. 521-529 BibTeX

Paul S. Fisher, Jacob Slonim: Software Engineering: An Example of Misuse. 533-539 BibTeX
Martin L. Griss, Anthony C. Hearn: A Portable LISP Compiler. 541-605 BibTeX
Dalia Motzkin: A Stable Quicksort. 607-611 BibTeX
Naveen Prakash, P. N. Gejji: Error Reporting and Recovery in Sangrah. 613-621 BibTeX
Ravi Sethi: Uniform Syntax for Type Expressions and Declarators. 623-628 BibTeX
Hans Lindstrom, Jan Skansholm: How to Make Your Own Simulation System. 629-637 BibTeX
David Alex Lamb: Construction of a Peephole Optimizer. 639-647 BibTeX

Gordon A. Rose, Jim Welsh: Formatted Programming Language. 649-670 BibTeX
Thoshiaki Kurokawa: A New Fast and Safe Marking Algorithm. 671-682 BibTeX
Ronald H. Perrott, D. K. Stevenson: Considerations for the Design of Array Processing Languages. 683-688 BibTeX
Geoffrey Hunter: Partitioned and Prioritized Access to Timesharing Services: the Reserved Availability. 689-696 BibTeX
Michael B. Feldman: Data Abstraction, Structured Programming, and the Practicing Programmer. 697-710 BibTeX
K. Lunn, Keith H. Bennett: Message Transport on the Cambridge Ring-A Simulation study. 711-716 BibTeX
R. A. Freak: A Fortran to Pascal Translator. 717-716 BibTeX
Richard L. Wexelblat: The Consequences of One's First Programming Language. 733-740 BibTeX
A. W. Colijn: A Note on the Multics Command Language. 741-744 BibTeX
Leslie M. Goldschlager: Recursion in Small Storage. 745-751 BibTeX
Darrel C. Ince: Decision Tables in Algol 68. 753-756 BibTeX
Tomasz Kowaltowski: Parameter Passing Mechanisms and Run Time Data Structures. 757-765 BibTeX

William M. Waite, Lynn Robert Carter: An Analysis/Synthesis Interface for Pascal Compilers. 769-787 BibTeX
Peter J. L. Wallis: Designing Storage Management Schemes for Block-structured Languages. 789-801 BibTeX
Jeffrey S. Rohl: Eliminating Recursion from Combinatoric Procedures. 803-817 BibTeX
L. V. Atkinson, S. D. North: COPAS-A Conversational Pascal System. 819-829 BibTeX
P. J. Brown: Dynamic Program Building. 831-843 BibTeX
Hannu Pohjanpalo: MROS-68K, a Memory Resident Operating System for MC6800H. 845-852 BibTeX
David R. Hanson: Is Block Structure Necessary? 853-866 BibTeX
R. R. Oldehoeft, W. D. Ralph, M. H. Tindall: An Interactive Manager for Pascal Software. 867-873 BibTeX

R. S. Scowen: A Survey of some Text Editors. 883-906 BibTeX
Martin Grayson: RNFREE-Keyword Free-format Input. 907-911 BibTeX
S. J. Young: Improving the Structure of Large Pascal Programs. 913-927 BibTeX
Arthur H. J. Sale: The Implementation of Case Statements in Pascal. 929-942 BibTeX
D. R. McGregor, J. R. Malone: Design for a Robust, Simple and Highly Reliable Filestore. 943-947 BibTeX
I. S. Torsun, M. M. Al-Jarrah: Dynamic Analysis of COBOL Programs. 949-961 BibTeX
Paul Klint: Interpretation Techniques. 963-973 BibTeX
Thomas A. Cargill: Full-screen Editing in a Hostile Environment. 975-981 BibTeX
Hasse Hansson, Jørgen Steensgaard-Madsen: Document Preparation Systems. 983-997 BibTeX

Richard Barnett, Richard C. Beckwith: The Community File Station. 1001-1008 BibTeX
G. K. Wood, J. Larmouth: Distributing Viewdata and Teletext Services to a User Community. 1009-1017 BibTeX
Eric S. Roberts, Arthur Evans Jr., C. Robert Morgan, Edmund M. Clarke: Task Management in Ada-A Critical Evaluation for Real-time Multiprocessors. 1019-1051 BibTeX
Hanan Samet: Experience with Software Conversion. 1053-1069 BibTeX
J. Larmouth: Fortran 77 Portability. 1071-1117 BibTeX

Donald E. Knuth, Michael F. Plass: Breaking Paragraphs into Lines. 1119-1184 BibTeX
W. D. Shepherd: Ancilla-A Server for the Cambridge Model Distributed System. 1185-1195 BibTeX
George Logothetis, Prateek Mishra: Compiling Short-circuit Boolean Expressions in One Pass. 1197-1214 BibTeX
T. J. Roper, Chris J. Barter: A Communicating Sequential Process Language and Implementation. 1215-1234 BibTeX

Nazim H. Madhavji, I. R. Wilson: Dynamically Structured Data. 1235-1260 BibTeX
Mordechai Ben-Ari: Cheap Concurrent Programming. 1261-1264 BibTeX
Richard J. Orgass: Files in an Interactive Environment. 1265-1271 BibTeX
Tung Yun Mei: LCCD, A Language for Chinese Character Design. 1273-1292 BibTeX
Frank M. Brown: Design of a MUMPS Interpreter. 1293-1297 BibTeX
Alistair C. Kilgour: Generalized non-Recursive Traversal of Binary Trees. 1299-1306 BibTeX
Tan Watanabe, Tsuneharu Ohsawa, Hisao Kuma, Wakunaga Tsukada: Micro MUMPS: An Interactive Database Language for Micro-Computers. 1307-1314 BibTeX
J. D. Bishop, G. J. Smith: Experiences with a Status Database. 1315-1329 BibTeX
Jørgen Steensgaard-Madsen: Modular Programming with Pascal. 1331-1337 BibTeX