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

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
• Michael J. Wise: Experience with PMS-Prolog: a Distributed Coarse-grain-parallel Prolog with Processes, Modules and Streams. 151-175
• Michel Rueher: A First Exploration of PrologIII's Capabilities. 177-200
• David B. Johnson, Willy Zwaenepoel: The Peregrine High-performance RPC System. 201-221
• Pierre N. Robillard, Mario Simoneau: Iconic Control Graph Representation. 223-234

Volume 23, Number 3, March 1993

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

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
• Jim Bell, Gopal K. Gupta: An Evaluation of Self-adjusting Binary Search Tree Techniques. 369-382
• Edward M. Reingold, Nachum Dershowitz, Stewart M. Clamen: Calendrical Calculations, II: Three Historical Calendars. 383-404
• Larry Hughes: Object Identification in the Lego Kernel. 405-418
• 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
• Dominic A. Varley: Practical Experience of the Limitations of Gprof. 461-463

Volume 23, Number 5, May 1993

• Don Libes: Kibitz-Connecting Multiple Interactive Programs Together. 465-475
• Tamiya Onodera: Reducing Compilation Time by a Compilation Server. 477-485
• Aloke Gupta, Wen-mei W. Hwu: An execution Profiler for Window-oriented Applications. 487-510
• Donald D. Cowan, C. M. Durance, E. Giguère, G. M. Pianosi: CIRL/PIWI: a GUI Toolkit Supporting Retargetability. 511-527
• 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

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
• Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford: Debugging with Dynamic Slicing and Backtracking. 589-616
• David W. Flater, Yelena Yesha, E. K. Park: Extensions to the C Programming Language for Enhanced Fault Detection. 617-628
• Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: Executable Specifications with Data-flow Diagrams. 629-653
• Bernard Thirion: Construction of an Interactive Programming Environment for Control of Theatrical-set Effects via Object-oriented Methods. 655-675
• Michael Franz: Emulating an Operating System on Top of Another. 677-692

Volume 23, Number 7, July 1993

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

Volume 23, Number 8, August 1993

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

Volume 23, Number 9, September 1993

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

Volume 23, Number 10, October 1993

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

Volume 23, Number 11, November 1993

• Peter Schnorf, Mahadevan Ganapathi, John L. Hennessy: Compile-time Copy Elimination. 1175-1200
• Herbert G. Mayer, Michael Wolfe: InterProcedural Alias Analiysis: Implementation and Empirical Results. 1201-1233
• Jyh-Jang Lim, Jai Menon, David Palmer: A Distributed Development Environment for Embedded Software. 1235-1248
• Jon Louis Bentley, M. Douglas McIlroy: Engineering a Sort Function. 1249-1265
• 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

Volume 23, Number 12, December 1993

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

Last update Tue Feb 14 04:22:42 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page