Software - Practice and Experience (SPE), Volume 23, 1993

Volume 23, Number 1, January 1993

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

Volume 23, Number 2, February 1993

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

Volume 23, Number 3, March 1993

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

Volume 23, Number 4, April 1993

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

Volume 23, Number 5, May 1993

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

Volume 23, Number 6, June 1993

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

Volume 23, Number 7, July 1993

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

Volume 23, Number 8, August 1993

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

Volume 23, Number 9, September 1993

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

Volume 23, Number 10, October 1993

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

Volume 23, Number 11, November 1993

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

Volume 23, Number 12, December 1993

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