External Links

Journal: Software: Practice and Experience

Volume 12, Issue 9

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

Volume 12, Issue 8

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

Volume 12, Issue 7

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

Volume 12, Issue 6

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

Volume 12, Issue 5

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

Volume 12, Issue 4

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

Volume 12, Issue 3

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

Volume 12, Issue 2

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

Volume 12, Issue 12

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

Volume 12, Issue 10

885 -- 887B. T. Sewell. A Rapid Lookup Table Method for Trigonometric Functions
889 -- 895Joe Celko. Time Token Design Methodology
897 -- 895J. P. Newbury. Immediate Turnround-An Elusive Goal
907 -- 913Douglas Comer, Keith Williamson. An Alternative to Young s Module Facility for Pascal
915 -- 927André M. Van Tilborg. Executing Large Graphics Programs with a Small Computer
929 -- 958David Beech. Modularity of Computer Languages
959 -- 963G. R. Brookes, I. R. Wilson, A. M. Addyman. A Static Analysis of Pascal Program Structures
965 -- 969Thomas A. Cargill. A Robust Distributed Solution to the Dining Philosophers Problem
971 -- 979Paul R. McMullin, John D. Gannon, Mark Weiser. Implementing a Compiler-Based Test Tool
985 -- 1010Marco Mezzalama, Paolo Prinetto. A Machine-independent Approach to Microprogram Synthesis
1011 -- 1025Bjarne Stroustrup. An Experiment with the Interchangeability of Processes and Monitors
1027 -- 1041R. Allen Akin, Richard J. LeBlanc. The Design and Implementation of a Code Generation Tool
1043 -- 1049John R. Wolberg. A Costing Model for Software Conversions
1051 -- 1068Carl N. R. Dellar. A File Server for a Network of Low Cost Personal Microcomputers
1069 -- 1079Douglas Comer. The Flat File System FFG: A Database System Consisting of Primitives

Volume 12, Issue 1

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