Table Of Content

CONTENTS Volume 21, Issue Nos. 1-12 SOFTWARE—PRACTICE & EXPERIENCE Issue No. 1, JANUARY Hard-coding Bottom-up Code Generation Tables to Save Time and Space: C. W. Fraser and R. R. Henry A Light-weight UIMS: R. L. Read and M. L. Smith A Letter-oriented Perfect Hashing Scheme Based upon Sparse Table Compression: C.-C. Chang and T.-C. Wu LANSF: A Protocol Modelling Environment and its Implementation: P. Gburzynski and P. Rudnicki Modules, Objects and Distributed Programming: Issues in RPC and Remote Object Invocation: H. M. Levy and E. D. Tempero Emerald: A General-Purpose Programming Language: R. K. Raj, E. Tempero, H. M. Levy, A. P. Black, N. C. Hutchinson and E. Jul Issue No. 2, FEBRUARY Ytracc: a Parse Browser for Yacc Grammars: R. Furuta, P. D. Stotts and Modelling the Software Development Process Using an Expert Simulation System Having Fuzzy Logic: R. R. Levary and C. Y. Lin Methods for Saving and Restoring Register Values across Function Calls: J. W. Davidson and D. B. Whalley Indexed or abstracted by Cambridge Scientific Abstracts, Compumath Citation Index, Com- puter Contents, Computer Literature Index, Computing Reviews, Current Contents, Data Processing Digest, Educational Technology Abstracts, Engineering Index, Engineering Socs. Library, Information Science Abstracts (Plenum), INSPEC, Knowledge Engineering Review, Nat Centre for Software Technology and SCISEARCH Database. iv VOLUME CONTENTS Implementing a User Interface Management System for Existing Appli- cations Using an Object-oriented Database Tool: M. Hardwick, W. Uejio, D. Spooner, J. Czechowski, P. Lohr and B. Sarachan A Scheme for Little Languages in Interactive Graphics: B. Beckman .... A Dataflow Approach to Event-based Debugging: R. A. Olsson, R. H. Crawford and W. W. Ho Short Communication , Correcting a Widespread Error in Unification Algorithms: P. Norvig .. Issue No. 3, MARCH Parallel Algorithm Design for Workstation Clusters: J. N. Magee and S. C. The Performance of Message-passing Using Restricted Virtual Memory Remapping: S.-Y. Tzou and D. P. Anderson A Syntax-directed Integrated Programming Environment for Developing SIMD Supercomputer Software: R. H. Perrott and T. F. Lunney Vertical Migration of Numerical Routines in Software and Microcode: C. C. Chariton, P. H. Leng and J. Little Performance of Lazy Combinator Graph Reduction: P. H. Hartel Short Communication A Parallel Implementation of the Douglas—Peucker Line Simplification Algorithm: J. Vaughan, D. Whyatt and G. Brookes Issue No. 4, APRIL Building a Real-time Kernel: First Steps in Validating a Pure Process/Adt Model: H. R. Callison and A. C. Shaw TPDL*: Extended Temporal Profile Description Language: G. Cabodi, P. Camurati, P. Prinetto and M. Sonza Reorda VOLUME CONTENTS Vv An Approach to Genuine Dynamic Linking: W. W. Ho and R. A. Olsson 375 The Design and Implementation of a High-level Language Converter: V. D. Moynihan and P. J. L. Wallis Reactive C: An Extension of C to Program Reactive Systems: F. Boussinot Issue No. 5, MAY Utility Servers in Charlotte: C.-Q. Yang and R. Finkel An Implementation of Distributed Shared Memory: U. Ramachandran and M. Y. A. Khalidi NovAtel’s Novel Approach to CPU Usage Measurement: D. R. Crowe .. A Modular Fully-lazy Lambda Lifter in HASKELL: S. L. Peyton Jones and D. Lester Profiling Software through the Use of Metrics: P. N. Robillard, D. Coupal and F. Coallier Reverse Engineering: Algorithms for Program Graph Production: A. Cim- itile and U. de Carlini Issue No. 6, JUNE Module Reuse by Interface Adaptation: J. M. Purtilo and J. M. Atlee A Hybrid Implementation of a Process-oriented Programming Language for System Simulation: R. Rozin and S. Treu An Experiment with Inline Substitution: K. D. Cooper, M. W. Hall and L. Torczon Reflection Mechanisms for Combining Prolog Databases: E. Lamma, P. Mello and A. Natali Style Control in the Quill Document Editing System: Y. Wolfsthal Reducing and Manipulating Complex Trace Data: H. Touati and A. J. VOLUME CONTENTS Issue No. 7, JULY Design and Implementation of a Distributed File System: H.-C. Cheng and Literate Programming on a Team Project: N. Ramsey and C. Marceau... 677 A Fortran Language System for Mutation-based Software Testing: K. N. King and A. J. Offutt An Inheritance Model for Supporting Flexible Displays of Data Structures: P. Dewan Identifying Syntactic differences Between Two Programs: W. Yang .... Issue No. 8, AUGUST Transparent Process Migration: Design Alternatives and the Sprite implementation: F. Douglis and J. Ousterhout Extending Regular Expressions with Context Operators and Parse Extrac- tion: S. M. Kearns Tlex: S. M. Kearns PROTOB: An Object-oriented CASE Tool for Modelling and Prototyping Distributed Systems: M. Baldassari, G. Bruno and A. Castella A Methodology for Constructing Predicate Transition Net Specifications: X. He and J. A. N. Lee Compiled Instruction Set Simulation: C. Mills, S. C. Ahalt and J. Fowler 877 Issue No. 9, SEPTEMBER Evaluation of Fortran Vector Compilers and Preprocessors: G. Luecke, W. Haque, J. Hoekstra, H. Jespersen and J. Coyle VOLUME CONTENTS A Multi-protocol Campus Time Server: C. R. Snow A Design Rationale for a Language-based Editor: J. Welsh, B. Broom and DMT—a Demonstration Tool: Y. Zheng and J. Hague A Code Generation Interface for ANSI C: C. W. Fraser and D. R. Hanson Issue No. 10, OCTOBER The Design of an Operating System for a Scalable Parallel Computing Engine: P. Austin, K. Murray and A. Wellings Floating-point Number LISP: K. Umemura Implementing Dynamic Minimal-prefix Tries: J. A. Dundas Ill An Experimental Investigation of Distributed Matrix Multiplication Tech- niques: S. A. Rees and J. P. Black Experiments with a Very Fast Substring Search Algorithm: P. D. Smith Path Testing of Computer Programs with Loops Using a Tool for Simple Loop Patterns: L. J. White and B. Wiszniewski Operational Definitions for System Requirements as the Basis of Design Automation: K.-W. E. Lor Short Communication A Note on Searching in a Binary Search Tree: A. Andersson Issue No. 11, NOVEMBER Graph Drawing by Force-directed Placement: T. M. J. Fruchterman and E. M. Reingold Perly—UNIX with Buttons: R. Hesketh EcliPSe: A System for High Performance Concurrent Simulation: V. S. Sunderam and V. J. Rego viii VOLUME CONTENTS Fast String Searching: A. Hume and D. Sunday The Distributed Ada Run-time System DARTS: M. C. Géthe, D. Wengelin and L. Asplund Issue No. 12, DECEMBER Case Study: Using ITS Style Tools to Implement IBM’s CUA-2 User Interface Style: J. P. Ukelson, J. D. Gould, S. J. Boies and C. Wiecha 1265 A Cached WORM File System: S. Quinlan Using Profile Information to Assist Classic Code Optimizations: P. P. Chang, S. A. Mahike and W.-M. W. Hwu An Investigation into Concurrent Semantic Analysis: V. Seshadri and D. B. Wortman Software Reverse Engineering: A Case Study: E. J. Byrne A STREAMS-based Communications Subsystem in Turing Plus for Protocol Development: J. W. Atwood and W. Prager Author Index Key Word Index