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

Volume 12, Number 2, February 1982

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

Volume 12, Number 3, March 1982

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

Volume 12, Number 4, April 1982

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

Volume 12, Number 5, May 1982

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

Volume 12, Number 6, June 1982

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

Volume 12, Number 7, July 1982

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

Volume 12, Number 8, August 1982

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

Volume 12, Number 9, September 1982

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

Volume 12, Number 10, October 1982

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

Volume 12, Number1, November 1982

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

Volume 12, Number 12, December 1982

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