Software - Practice and Experience (SPE), Volume 25, 1995

Volume 25, Number 1, January 1995

• Geoffrey H. Kuenning: Kitrace: Precise Interactive Measurement of Operating System Kernels. 1-21
• Phillip R. Romig III, Ashok Samal: DeViouS: A Distributed Environment for Computer Vision. 23-45
• T. L. McCluskey, J. M. Porteous, Y. Naik, C. N. Taylor, S. Jones: A Requirements Capture Method and its use in an Air Traffic Control Application. 47-71
• Malcolm Wallace, Colin Runciman: Extending a Functional Programming System for Embedded Applications. 73-96
• Gwendolyn H. Walton, Jesse H. Poore, Carmen J. Trammell: Statistical Testing of Software Based on a Usage Model. 97-108
• Per Brinch Hansen: The Long Division Algorithm of Linger, Mills and Witt. 109

Volume 25, Number 2, February 1995

• Johannes Sametinger, S. Schiffer: Design and Implementation Aspects of an Experimental C++ Programming Environment. 111-128
• Arne Andersson, Stefan Nilsson: Efficient Implementation of Suffix Trees. 129-141
• Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini: Declarative Specification of the Architecture of a Software Development Environment. 143-174
• Patrick G. Robinson, James D. Arthur: Distributed Process Creation within a Shared Data Space Framework. 175-191
• Yi-Bing Lin, Dan Daly: A Flexible Graphical User Interface for Performance Modeling. 193-216
• G. F. Levy: Improving the Output of the FORTRAN to C translator, f2c. 217-227

Volume 25, Number 3, March 1995

• Masataka Sassa, Harushi Ishizuka, Ikuo Nakata: Rie, a Compiler Generator Based on a One-pass-type Attribute Grammar. 229-250
• Vashti C. Galpin, S. T. Rock: A Lift Simulation Prototype. 251-270
• Ari Jaaksi: Implementing Interactive Applications in C++. 271-289
• Volker Strumpen: Coupling Hundreds of Workstations for Parallel Molecular Sequence Analysis. 291-304
• Ian Toyn, John A. McDermid: CADiZ: An Architecture for Z Tools and its Implementation. 305-330
• Justin Zobel, Philip W. Dart: Finding Approximate Matches in Large Lexicons. 331-345

Volume 25, Number 4, April 1995

• Richard G. Hamlet: Implementing Prototype Testing Tools. 347-371
• Sarah E. Chodrow, Mohamed G. Gouda: Implementation of the Sentry System. 373-387
• Willard Korfhage, Arthur P. Goldberg: Hermes Language Experiences. 389-402
• Michel Gauthier: The Avatars of a Package for Calendars in Ada. 403-427
• Jerry C. Yan, Sekhar R. Sarukkai, Pankaj Mehra: Performance Measurement, Visualization and Modeling of Parallel and Distributed Programs using the AIMS Toolkit. 429-461

Volume 25, Number 5, May 1995

• Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Operational Machine Specification in a Functional Programming Language. 463-499
• Paolo Corsini, Lanfranco Lopriore: An Implementation of Storage Management in Capability Environments. 501-520
• Guido Russo, Stefano Russo, Benôit Pirenne: An Operating System Independent WORM Archival System. 521-531
• Ee-Peng Lim, San-Yih Hwang, Jaideep Srivastava, Dave Clements, M. Ganesh: Myriad: Design and Implementation of a Federated Database Prototype. 533-562
• Jon Knight, Steve Guest: Using Multicast Communications to Distribute Code and Data in Wide Area Networks. 563-577

Volume 25, Number 6, June 1995

• André Arnold, Srecko Brlek: Automatic Verification of Properties in Transition Systems. 579-596
• Yuan-Shin Hwang, Bongki Moon, Shamik D. Sharma, Ravi Ponnusamy, Raja Das, Joel H. Saltz: Runtime and Language Support for Compiling Adaptive Irregular Programs on Distributed-memory Machines. 597-621
• Kai Tödter, Carsten Hammer, Werner Struckmann: PARC++: A Parallel C++. 623-636
• Clinton L. Jeffery, Ralph E. Griswold, Gregg M. Townsend: Adding Graphics to a High-level Programming Language. 637-655
• Pierpaolo Degano, Corrado Priami: Comparison of Syntactic Error Handling in LR Parsers. 657-679
• Antonino Mazzeo, Umberto Villano: Parallel 1D-FFT Computation on Constant-valence Multicomputers. 681-704

Volume 25, Number 7, July 1995

• Alan Burns, Andy J. Wellings: Engineering a Hard Real-time System: From Theory to Practice. 705-726
• Thierry Lecroq: Experimental Results on String Matching Algorithms. 727-765
• Rok Sosic: A Procedural Interface for Program Directing. 767-787
• Terence John Parr, Russell W. Quong: ANTLR: A Predicated- LL(k) Parser Generator. 789-810
• Cristina Cifuentes, K. John Gough: Decompilation of Binary Programs. 811-829

Volume 25, Number 8, August 1995

• Randall A. Helzerman, Carla B. Zoltowski, Boon-Lock Yeo, Yin Chan, Todd Stewart, Bryan L. Pellom: Implementation Issues in the Development of the PARSEC Parser. 831-862
• Gerald Baumgartner, Vincent F. Russo: Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in C++. 863-889
• Justin Zobel, Alistair Moffat: Adding Compression to a Full-text Retrieval System. 891-903
• Keld Helsgaun: CBack: A Simple Tool for Backtrack Programming in C. 905-934
• Mark Kahrs: The Heart of IGES. 935-946

Volume 25, Number 9, September 1995

• Philip W. Grant, J. A. Sharp, Michael F. Webster, X. Zhang: Experiences of Parallelising Finite-element Problems in a Functional Style. 947-974
• Ole Agesen, Jens Palsberg, Michael I. Schwartzbach: Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. 975-995
• Amiram Yehudai, Fernando Libedinsky: On Tuning Recursive Procedures. 997-1002
• Rod Adams, Sue Gray: Using Conditional Execution to Exploit Instruction Level Concurrency. 1003-1020
• Richard Lai: Using PROTEAN for Verifying a Complex Protocol - A Case Study. 1021-1044
• H. K. Wang, Jean-Lien C. Wu: Interactive Hypermedia Applications: A Model and its Implementation. 1045-1063

Volume 25, Number 10, October 1995

• Christian Huemer, Gerti Kappel, Stefan Vieweg: Migration in Object-oritented Database Systems - A Practical Approach. 1065-1096
• William H. Hsu, Amy E. Zwarico: Automatic Synthesis of Compression Techniques for Heterogeneous. 1097-1116
• Paul J. Ashton, John P. Penny: A Tool for Visualizing the Execution of Interactions on a Loosely-coupled Distributed System. 1117-1140
• Neil Dunstan, Ivan Fris: Process Scheduling and UNIX Semaphores. 1141-1153
• Samul Ajila: Software Maintenance: An Approach to Impact Analysis of Objects Change. 1155-1181

Volume 25, Number 11, November 1995

• Peter Lüders, Rolf Ernst, Stefan Stille: An Approach to Automatic Display Layout Using Combinatorial Optimization Algorithms. 1183-1202
• Ari Jaaksi: Object-oriented Specification of User Interfaces. 1203-1221
• Sunil Magavi, Johnny Wong, Prakash Bodla: Design and Implementation of Heterogeneous Distributed Multimedia System using Mosaic GSQL. 1223-1241
• Johnson M. Hart: Experience with Logical Code Analysis in Software Maintenance. 1243-1262
• Peter T. Breuer, Jonathan P. Bowen: A PREttier Compiler-Compiler: Generating Higher-order Parsers in C. 1263-1297

Volume 25, Number 12, December 1995

• Gordon Lyon, Raghu Kacker, Arnaud Linz: A Scalability Test for Parallel Code. 1299-1314
• Hans-Juergen Boehm, Russell R. Atkinson, Michael F. Plass: Ropes: An Alternative to Strings. 1315-1330
• Marc M. Brandis, Régis Crelier, Michael Franz, Josef Templ: The Oberon System Family. 1331-1366
• Wayne Citrin, Alistair Cockburn, Jürg von Känel, Rainer Hauser: Using Formalized Temporal Message-flwo Diagrams. 1367-1401

Volume 25, Number S4, December 1995

• Ole Lehrmann Madsen: Open Issues in Object-Oriented Programming - A Scandinavian Perspective. S4/3-S4/43
• Andrew Koenig, Bjarne Stroustrup: Foundations for Native C++ Styles. S4/45-S4/86
• Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber: Network Objects. S4/87-S4/130
• Michael L. Powell: Alternative Perspectives on Object Technology. S4/131-S4/141