Journal: Software: Practice and Experience

Volume 23, Issue 9

933 -- 948John Plaice, William W. Wadge. A Unix Tool for Managing Reusable Software Components
949 -- 964Deepak Gupta, Pankaj Jalote. On-line Software Version Change Using State Transfer Between Processes
965 -- 979Yung-Chen Hung, Gen-Huey Chen. Reverse Reachability Analysis a New Technique for Deadlock Detection on Communicating Finite State Machines
981 -- 999Douglas C. Kohlert, Kenneth J. Rodham, Dan R. Olsen. Implementing a Graphical Multi-user Interface Toolkit
1001 -- 1041Jeffrey H. Kingston. The Disign and Implementation of the Lout Document Formatting Language
1043 -- 1058Kirk Sayre, Michael A. Gray. Backtalk: A Generalized Dynamic Communication System for DAI

Volume 23, Issue 8

817 -- 827Anthony Bloesch. Aestetic Layout of Generalized Trees
829 -- 850Gary H. Merrill. Parsing Non-LK( :::: k :::: ) Grammars with Yacc
851 -- 869Dirk Grunwald, Benjamin G. Zorn. CustoMalloc: Efficient Synthesized Memory Allocators
871 -- 893Michael Dunlavey. Differential Evaluation: a Cahe-based Technique for Incremental Update of Graphical Displays of Structures
895 -- 931Raymond J. A. Buhr. Pictures that Play: Design Notations for Real-time and Distributed Systems

Volume 23, Issue 7

693 -- 710Richard B. Borie, Allen S. Parrish, Srinivas Mandyam. Lock-and-key Strategies for Handling Undefined Variables
711 -- 731Gerard J. Holzmann. Standardized Protocol Interfaces
733 -- 756Benjamin G. Zorn. The Measured Cost of Conservative Garbage Collection
757 -- 771Timothy C. Bell, David Kulp. Longest-match String Searching for Ziv-Lempel Compression
773 -- 798Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell. The Duality of Fault-tolerant System Structures
799 -- 811Yezdezard Lashkari, Viswanath Ramachandran, Sanjay Malpani, S. L. Mehndiratta. Vartalaap: a Distributed Multicast Communication System

Volume 23, Issue 6

567 -- 588Ahmed A. Rafea, Khaled F. Shaalan. Lexical Analysis of Inflected Arabic Words using Exhaustive Search of an Augmented Transition Network
589 -- 616Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford. Debugging with Dynamic Slicing and Backtracking
617 -- 628David W. Flater, Yelena Yesha, E. K. Park. Extensions to the C Programming Language for Enhanced Fault Detection
629 -- 653Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti. Executable Specifications with Data-flow Diagrams
655 -- 675Bernard Thirion. Construction of an Interactive Programming Environment for Control of Theatrical-set Effects via Object-oriented Methods
677 -- 692Michael Franz. Emulating an Operating System on Top of Another

Volume 23, Issue 5

465 -- 475Don Libes. Kibitz-Connecting Multiple Interactive Programs Together
477 -- 485Tamiya Onodera. Reducing Compilation Time by a Compilation Server
487 -- 510Aloke Gupta, Wen-mei W. Hwu. An execution Profiler for Window-oriented Applications
511 -- 527Donald D. Cowan, C. M. Durance, E. Giguère, G. M. Pianosi. CIRL/PIWI: a GUI Toolkit Supporting Retargetability
529 -- 566Michael Sannella, John Maloney, Bjørn N. Freeman-Benson, Alan Borning. Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm

Volume 23, Issue 4

351 -- 367William G. Griswold, Gregg M. Townsend. The Design and Implementation of Dynamic Hashing for Sets and Tables in Icon
369 -- 382Jim Bell, Gopal K. Gupta. An Evaluation of Self-adjusting Binary Search Tree Techniques
383 -- 404Edward M. Reingold, Nachum Dershowitz, Stewart M. Clamen. Calendrical Calculations, II: Three Historical Calendars
405 -- 418Larry Hughes. Object Identification in the Lego Kernel
419 -- 459Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck. Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation
461 -- 463Dominic A. Varley. Practical Experience of the Limitations of Gprof

Volume 23, Issue 3

235 -- 241Pete Boysen, Pinaki Shah. Reducing Object Storage Requirements in a Multi-user Environment
243 -- 253William E. Wright, Sakthirel Jeyaratnam. Success Rate of Interpolation in Subsegment Prediction
255 -- 275Donald D. Cowan, Terry M. Stepien, Roberto Ierusalimschy, Carlos José Pereira de Lucena. Application Integration: Constructing Composite Applications from Interactive Components
277 -- 291John J. Darragh, John G. Cleary, Ian H. Witten. Bonsai: a Compact Representation of Trees
293 -- 315Reda A. Ammar, Carolyn Pe Rosiene. Visualizing a Hierarchy of Performance Models for Software Systems
317 -- 340Giuseppe Santucci, Pier Angelo Sottile. Query by Diagram: a Visual Environment for Querying Databases
341 -- 350Andy Litman. An Implementation of Precompiled Headers

Volume 23, Issue 2

119 -- 150Vincenzo Loia, Michel Quaggetto. High-level Management of Computation History for the Design and Implementation of a Prolog System
151 -- 175Michael J. Wise. Experience with PMS-Prolog: a Distributed Coarse-grain-parallel Prolog with Processes, Modules and Streams
177 -- 200Michel Rueher. A First Exploration of PrologIII s Capabilities
201 -- 221David B. Johnson, Willy Zwaenepoel. The Peregrine High-performance RPC System
223 -- 234Pierre N. Robillard, Mario Simoneau. Iconic Control Graph Representation

Volume 23, Issue 12

1285 -- 1303Alexandros Biliris, Shaul Dar, Narain H. Gehani. Making C++ Objects Persistent: the Hidden Pointers
1305 -- 1336. Utopia: a Load Sharing Facility for Large, Heterogeneous Distributed Computer Systems
1337 -- 1360Saumya K. Debray. QD-Janus: a Sequential Implementation of Janus in Prolog
1361 -- 1377Eric N. Hanson, Tina M. Harvey, Mark A. Roth. Experiences in Database System Implementation Using a Persistent Programming Language
1379 -- 1397Ken Slonneger. Executing Continuation Semantics

Volume 23, Issue 11

1175 -- 1200Peter Schnorf, Mahadevan Ganapathi, John L. Hennessy. Compile-time Copy Elimination
1201 -- 1233Herbert G. Mayer, Michael Wolfe. InterProcedural Alias Analiysis: Implementation and Empirical Results
1235 -- 1248Jyh-Jang Lim, Jai Menon, David Palmer. A Distributed Development Environment for Embedded Software
1249 -- 1265Jon Louis Bentley, M. Douglas McIlroy. Engineering a Sort Function
1267 -- 1283Faris N. Abuali, Roger L. Wainwright. ISA[ :::: k :::: ] Trees: a Class of Binary Search Trees with Minimal or Near Minimal Internal Path Length

Volume 23, Issue 10

1059 -- 1075Shivakant Mishra, Larry L. Peterson, Richard D. Schlichting. Experience with Modularity in Consul
1077 -- 1093Tamiya Onodera. A Generational and Conservative Copying Collector for Hybrid Objectoriented Languages
1095 -- 1105James S. Collofello, Bakul P. Gosalla. An Application of Causal Analysis to the Software Modification Process
1107 -- 1138Ke-Hsiung Chung, Janche Sang, Vernon Rego. A Performance Comparison of Event Calendar Algorithms: an Empirical Approach
1139 -- 1156Richard A. Frost. Guarded Attribute Grammars
1157 -- 1174Carl F. Schaefer, Gary N. Bundy. Static Analysis of Exception Handling in Ada

Volume 23, Issue 1

1 -- 14Paola Inverardi, Franco Mazzanti. Experimenting with Dynamic Linking with Ada
15 -- 30Claudio L. Lucchesi, Tomasz Kowaltowski. Applications of Finite Automata Representing Large Vocabularies
31 -- 54Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera. Rapid Prototyping of Protocols from LOTOS Specifications
55 -- 73Maria Concetta Maccarone, Mario Tripiciano, Vito Di Gesù, Domenico Tegolo. PDB: a Pictorial Database Oriented to Data Analysis
75 -- 93Prasun Dewan. Designing and Implementing Multi-user Applications: a Case Study
95 -- 118David B. Whalley. Techniques for Fast Instruction Cache Performance Evaluation