Table Of Content

CONTENTS Volume 25, Issue Nos. 1-12 and $4 SOFTWARE—PRACTICE & EXPERIENCE Issue No. 1, JANUARY Kitrace: Precise Interactive Measurement of Operating System Kernels: G. H. Kuenning DeViouS: A Distributed Environment for Computer Vision: P. R. Romig Ill and A. Samal A Requirements Capture Method and its use in an Air Traffic Control Application: T. L. McCluskey, J. M. Porteous, Y. Naik, C. N. Taylor and S. Jones 47 Extending a Functional Programming System for Embedded Applications: M. Wallace and C. Runciman 73 Statistical Testing of Software Based on a Usage Model: G. H. Walton, J. H. Poore and C. J. Trammell 97 Short Communication The Long Division Algorithm of Linger, Mills and Witt: P. Brinch Hansen 109 Issue No. 2, FEBRUARY Design and Implementation Aspects of an Experimental C** Programming Environment: J. Sametinger and S. Schiffer Efficient Implementation of Suffix Trees: A. Andersson and S. Nilsson... 129 Declarative Specification of the Architecture of a Software Development Environment: V. Ambriola, P. Ciancarini and A. Corradini Indexed or abstracted by Cambridge Scientific Abstracts, CompuMath Citation Index (ISI), Compuscience Database, Computer Contents, Computer Literature Index, Computing Reviews, Current Contents/Eng, Tech & Applied Sciences, Data Processing Digest, Deadline Newsletter, Educational Technology Abstracts, Engineering Index, Engineering Societies Library, IBZ (International Bibliography of Periodical Literature), Information Science Abstracts (Plenum), INSPEC, Knowledge Engineering Review, Nat Centre for Software Technology, Research Alert (ISI) and SCISEARCH Database (ISI). iv VOLUME CONTENTS Distributed Process Creation within a Shared Data Space Framework: P. G. Robinson and J. D. Arthur A Flexible Graphical User Interface for Performance Modeling: Y. B. Lin and D. Daly Improving the Output of the FORTRAN to C translator, f2c: G.F. Levy .. 217 Issue No. 3, MARCH Rie, a Compiler Generator Based on a One-pass-type Attribute Grammar: M. Sassa, H. Ishizuka and |. Nakata A Lift Simulation Prototype: V. C. Galpin and S. T. Rock Implementing Interactive Applications in C++: A. Jaaksi Coupling Hundreds of Workstations for Parallel Molecular Sequence Analysis: V. Strumpen CADiZ: An Architecture for Z Tools and its Implementation: |. Toyn and J. A. McDermid Finding Approximate Matches in Large Lexicons: J. Zobel and P. Dart.. 331 Issue No. 4, APRIL Implementing Prototype Testing Tools: D. Hamlet Implementation of the Sentry System: S. E. Chodrow and M. G. Gouda 373 Hermes Language Experiences: W. Korfhage and A. P. Goldberg The Avatars of a Package for Calendars in Ada: M. Gauthier Performance Measurement, Visualization and Modeling of Parallel and Distributed Programs using the AIMS Toolkit: J. Yan, S. Sarukkai and P. Mehra VOLUME CONTENTS Issue No. 5, MAY Operational Machine Specification in a Functional Programming Language: P. W. M. Koopman, M. C. J. D. van Eekelen and M. J. Plasmeijer An Implementation of Storage Management in Capability Environments: P. Corsini and L. Lopriore An Operating System Independent WORM Archival System: G. Russo, S. Russo and B. Pirenne Myriad: Design and !mplernentation of a Federated Database Prototype: E. P. Lim, S. Y. Hwang, J. Srivastava, D. Clements and M. Ganesh Using Multicast Communications to Distribute Code and Data in Wide Area Networks: J. Knight and S. Guest Issue No. 6, JUNE Automatic Verification of Properties in Transition Systems: A. Arnold and S. Brlek Runtime and Language Support for Compiling Adaptive ‘!rregular Programs on Distributed-memory Machines: Y.-S. Hwang, B. Moon, S. D. Sharma, R. Ponnusamy, R. Das and J. H. Saltz PARC++: A Parallel C++: K. Tédter, C. Hammer and W. Struckmann .. Adding Graphics to a High-level Programming Language: C. L. Jeffery, R. E. Griswold and G. M. Townsend Comparison of Syntactic Error Handling in LR Parsers: P. Degano and C. Priami Parallel 1D-FFT Computation on Constant-valence Multicomputers: A. Mazzeo and U. Villano Issue No. 7, JULY Engineering a Hard Real-time System: From Theory to Practice: A. Burns and A. J. Wellings VOLUME CONTENTS Experimental Results on String Matching Algorithms: T. Lecroq A Procedural Interface for Program Directing: R. Sosi¢ ANTLR: A Predicated-LL(k) Parser Generator: T. J. Parr and R.W. Quong 789 Decompilation of Binary Programs: C. Cifuentes and K. J. Gough Issue No. 8, AUGUST implementation Issues in the Development of the PARSEC Parser: M. P. Harper, R. A. Helzerman, C. B. Zoltowski, B.-L. Yeo, Y. Chan, T. Stewart and B. L. Pellom Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in C++: G. Baumgartner and V. F. Russo Adding Compression to a Full-text Retrieval System: J. Zobel and A. CBack: A Simple Tool for Backtrack Programming in C: K. Helsgaun The Heart of IGES: M. Kahrs Issue No. 9, SEPTEMBER Experiences of Parallelising Finite-element Problems in a Functional Style: P. W. Grant, J. A. Sharp, M. F. Webster and X. Zhang Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance: O. Agesen, J. Palsberg and M. |. Schwartzbach On Tuning Recursive Procedures: A. Yehudai and F. Libedinsky Using Conditional Execution to Exploit Instruction Level Concurrency: R. Adams and S. Gray VOLUME CONTENTS Using PROTEAN for Verifying a Complex Protocol—A Case Study: R. Lai 1021 Interactive Hypermedia Applications: A Model and its Implementation: H. K. Wang and J.-L. C. Wu Issue No. 10, OCTOBER Migration in Object-oriented Database Systems—A Practical Approach: C. Huemer, G. Kappel and S. Vieweg Automatic Synthesis of Compression Techniques for Heterogeneous Files: W. H. Hsu and A. E. Zwarico A Tool for Visualizing the Execution of Interactions on a Loosely-coupled Distributed System: P. Ashton and J. Penny Process Scheduling and UNIX Semaphores: N. Dunstan and I. Fris Software Maintenance: An Approach to Impact Analysis of Objects Change: S. Ajila Issue No. 11, NOVEMBER An Approach to Automatic Display Layout Using Combinatorial Optimization Algorithms: P. Luders, R. Ernst and S. Stille: Object-oriented Specification of User Interfaces: A. Jaaksi Design and Implementation of Heterogeneous Distributed Multimedia System using Mosaic GSQL: S. Magavi, J. Wong and P. Bodla Experience with Logical Code Analysis in Software Maintenance: A PREttier Compiler-Compiler: Generating Higher-order Parsers in C: P. T. Breuer and J. P. Bowen VOLUME CONTENTS Issue No. 12, DECEMBER A Scalability Test for Parallel Code: G. Lyon, R. Kacker and A. Linz Ropes: An Alternative to Strings: H.-J. Boehm, R. Atkinson and M. Plass 1315 The Oberon System Family: M. Brandis, R. Crelier, M. Franz and J. Templ 1331 Using Formalized Temporal Message-flow Diagrams: W. Citrin, A. Cockburn, J. von Kanel and R. Hauser Author Index Key Word Index Papers to appear in Issue No. S4, DECEMBER Special Issue on Object-oriented Programming and Technology Guest Editor: Vince Russo Network Objects: A. Birrell, G. Nelson, S. Owicki and E. Wobber Open Issues in Object-oriented Programming: O. L. Madsen Foundations for Native C++ Styles: A. Koenig and B. Stroustrup Alternative Perspectives on Object Technology: M. L. Powell mya epee