Software - Practice and Experience (SPE), Volume 12, 1982

Volume 12, Number 1, January 1982

Brian W. Kernighan: PIC-A Language for Typesetting Graphics. 1-21
James J. McGregor: Backtrack Search Algorithms and the Maximal Common Subgraph Problem. 23-34
Alan L. Tharp, Kuo-Chung Tai: The Practicality of Text Signatures for Accelerating String Searching. 35-44
Jon M. Kerridge: A FORTRAN Implementation of Concurrent Pascal. 45-55
G. de V. Smit: A Comparison of Three String Matching Algorithms. 57-66
I. Trotter Hardy Jr.: The Syntax of Interactive Command Languages. 67-75
Robert L. Glass: Real-time Checkout: The 'Source Error First'. 77-83
B. R. Dunman, Stephen R. Schach, Peter T. Wood: A Mainframe Implementation of Concurrent Pascal. 85-89
P. J. Brown: 'My System Gives Excellent Error Messages'-Or Does It? 91-94

Paul J. Jalics: On the Performance of COBOL Programs in Large vs. Mini Computers. 103-114
W. P. Dodd: An Assessment of a New Technique for the Representation of Boolean Matrices. 115-139
Dipayan Gangopadhyay: A Framework for Modelling Graphic Interactions. 141-151
Jacob Palme: Uses of the SIMULA Process Concept. 153-161
Richard A. Frost, M. M. Peterson: A Function for Generating Nearly Balanced Binary Search Trees from Sets or Non-random Keys. 163-168
John L. Hennessy, Hilding Elmquist: The Design and Implementation of Parametric Types in Pascal. 169-184
Anthony Q. Baxter, Johnson M. Hart: Software Segmented Virtual Memory. 185-194
Robert P. Cook, Insup Lee: A Contextual Analysis of Pascal Programs. 195-203

Anthony I. Hinxman, Austin Tate: Parsing an Extension to CODASYL FORTRAN DML. 205-209
Anders P. Ravn: Pointer Variables in Concurrent Pascal. 211-222
Jørgen Staunstrup: Message Passing Communication Versus Procedure Call Communication. 223-234
Richard I. Cowderoy, Peter J. L. Wallis: The Transfer of a BCPL Compiler to the Z80 Microcomputer. 235-239
Christopher W. Fraser: A Programmable Text Editor. 241-250
Ralph E. Griswold: A Tool to Aid in the Installation of Complex Software Systems. 251-267
Michael J. Heffler: Description of a Menu Creation and Interpretation System. 269-281
Yung H. Tsin: Extending the Power of Pascal's External Procedure Mechanism. 283-292

Willem Maarten Witsel: Meta: A Language System for Bitslice Applications. 297-308
Hassan Gomaa, J. Lui, P. Woo: The Software Engineering of a Microcomputer Application System. 309-321
Richard Artym: The STAB Multiprocessing Environment for CYBA-M. 323-329
Brig Elliott: A High-level Debugger for PL/I, Fortran and Basic. 331-340
A. J. Cole, Ronald Morrison: Triplex: A System for Interval Arithmetic. 341-350
Christopher W. Fraser, David R. Hanson: A Machine-Independent Linker. 351-366
Christopher W. Fraser, David R. Hanson: Exploiting Machine-Specific Pointer Operations in Abstract Machines. 367-373
Brig Elliott: Design of a Simple Screen Editor. 375-384
Robert D. Tennent: Two Examples of Block Structuring. 385-392

T. Lang: Another Program for Drawing Diagrams. 397-404
A. Smith, D. H. Bell: A Multiprogramming System for a Microcomputer. 405-410
D. K. Yip: Implementation of a CORAL66 Programming Envieronment. 411-431
Narain H. Gehani: Specifications.: Formal and Informal-A Case Study. 433-444
H. S. M. Kruijer: A Multi-user Operating System for Transaction Processing, Written in Concurrent Pascal. 445-454
Otto K. Ferstl, Elmar J. Sinz: Designing Structured Cobol Programs. 455-474
Gregory R. Andrews: An Alternative Approach to Arrays. 475-485
M. Howard Williams: A System to Assist Survey Analysts. 487-491

James F. Leathrum: A Design Medium for Software. 497-503
W. O. Covington Jr., Richard L. Wexelblat: A Test Data Synthesizer for Telephone Company Accounting Office Processing of Call Data. 505-516
Ian Sommerville: A Pattern Matching System. 517-530
T. Lang, J. P. Newbury, D. E. P. Watkins: Experiences in Benchmarking for the Selection of an Interactive System. 531-542
Bruce W. Leverett, Peter G. Hibbard: An Adaptive System for Dynamic Storage Allocation. 543-555
Bernice E. Casey, B. Dasarathy: Modelling and Validating the Man-Machine Interface. 557-569
L. V. Atkinson: Optimizing Two-state Case Statements in Pascal. 571-581
R. P. A. Collinson: The Cambridge Ring and UNIX. 583-594

Hassan Gomaa: The Design and Calibration of a Simulation Model of a Star Computer Network. 599-610
Michael Levison: A Programmable Text-editing System. 611-621
A. J. Fisher: The Syntax of User-defined Dyadic Operators. 623-625
Arthur C. Fleck: Verifying Abstract Data Types with SNOBOL4. 627-640
John Wilkes: HADES-A Command Environment that Supports Structure. 641-654
D. J. Rees, P. D. Stephens: The Kernel of the EMAS 2900 Operating System. 655-667
Douglas Comer, Vincent Yun Shen: Hash-Bucket Search: A Fast Technique for Searching an English Spelling Dictionary. 669-682
Stephen R. Schach: A Unified Theory for Software Production. 683-689

Pavel Kaiser, Ivan Stetina: A Dialogue Generator. 693-707
D. J. M. Davies: String Searching in Text Editors. 709-717
Gregory R. Andrews: The Distributed Programming Language SR-Mechanisms, Design and Implementation. 719-753
J. A. Hall: A Microprogrammed P-CODE Interpreter for the Data General Eclipse S/130 Minicomputer. 755-765
Ronald Morrison: Low Cost Computer Graphics for Micro Computers. 767-776
Anna Hac: Computer System Simulation in Pascal. 777-784

Olivier Lecarme, Mireille Pellissier, Marie-Claude Thomas: Computer-aided Production of Language Implementation Systems: A Review and Classification. 785-824
Richard J. LeBlanc, Charles N. Fischer: A Case Study of Run-Time Errors in Pascal Programs. 825-834
Josef S. Ottmann: DASD Sharing in DOS/VSE. 835-842
J. Alan Hunter, Nigel F. Hall: A Network Screen Editor Implementation. 843-856
Alty F. Dawson, M. J. Coombs, James L. Alty: How to Improve Computer Advisory Services. 857-877
John L. Hennessy, Noah Mendelsohn: Compilation of the Pascal Case Statement. 879-882

B. T. Sewell: A Rapid Lookup Table Method for Trigonometric Functions. 885-887
Joe Celko: Time Token Design Methodology. 889-895
J. P. Newbury: Immediate Turnround-An Elusive Goal. 897-895
Douglas Comer, Keith Williamson: An Alternative to Young's Module Facility for Pascal. 907-913
André M. Van Tilborg: Executing Large Graphics Programs with a Small Computer. 915-927
David Beech: Modularity of Computer Languages. 929-958
G. R. Brookes, I. R. Wilson, A. M. Addyman: A Static Analysis of Pascal Program Structures. 959-963
Thomas A. Cargill: A Robust Distributed Solution to the Dining Philosophers Problem. 965-969
Paul R. McMullin, John D. Gannon, Mark Weiser: Implementing a Compiler-Based Test Tool. 971-979

Marco Mezzalama, Paolo Prinetto: A Machine-independent Approach to Microprogram Synthesis. 985-1010
Bjarne Stroustrup: An Experiment with the Interchangeability of Processes and Monitors. 1011-1025
R. Allen Akin, Richard J. LeBlanc: The Design and Implementation of a Code Generation Tool. 1027-1041
John R. Wolberg: A Costing Model for Software Conversions. 1043-1049
Carl N. R. Dellar: A File Server for a Network of Low Cost Personal Microcomputers. 1051-1068
Douglas Comer: The Flat File System FFG: A Database System Consisting of Primitives. 1069-1079

Robert H. Dodds Jr., Daniel R. Rehak, Leonard A. Lopez: Development Methodologies for Scientific Software. 1085-1100
N. J. Fiddian: Meta-Assembly: A Fresh Assessment. 1101-1117
Ian H. Witten, Mike Bonham, Evelyne Strong: On the Power of Traps and Diversions in a Document Preparation Language. 1119-1131
John Levine: An Overview of the Yale Gem System. 1133-1145
David R. Brownbridge, Lindsay F. Marshall, Brian Randell: The Newcastle Connection or UNIXes of the World Unite! 1147-1162