Software - Practice and Experience (SPE), Volume 21, 1991

Volume 21, Number 1, January 1991

Christopher W. Fraser, Robert R. Henry: Hard-coding Bottom-up Code Generation Tables to Save Time and Space. 1-12
Robert L. Read, Martin L. Smith: A Light-weight UIMS. 13-33
Chin-Chen Chang, Tzong-Chen Wu: A Letter-oriented Perfect Hashing Scheme Based upon Sparse Table Compression. 35-49
Pawel Gburzynski, Piotr Rudnicki: LANSF: A Protocol Modelling Environment and its Implementation. 51-76
Rajendra K. Raj, Ewan D. Tempero, Henry M. Levy, Andrew P. Black, Norman C. Hutchinson, Eric Jul: Emerald: A General-Purpose Programming Language. 91-118

Richard Furuta, P. David Stotts, Jefferson Ogata: Ytracc: a Parse Browser for Yacc Grammars. 119-132
Reuven R. Levary, Chi Y. Lin: Modelling the Software Development Process Using an Expert Simulation System Having Fuzzy Logic. 133-148
Jack W. Davidson, David B. Whalley: Methods for Saving and Restoring Register Values across Function Calls. 149-165
Martin Hardwick, Wayne Uejio, David L. Spooner, Joe Czechowski, Phil Lohr, Brion Sarachan: Implementing a User Interface Management System for Existing Applications Using an Object-oriented Database Tool. 167-185
Brian Beckman: A Scheme for Little Languages in Interactive Graphics. 187-207
Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho: A Dataflow Approach to Event-based Debugging. 209-230
Peter Norvig: Correcting a Widespread Error in Unification Algorithms. 231-233

Jeff Magee, Shing-Chi Cheung: Parallel Algorithm Design for Workstation Clusters. 235-250
Shin-Yuan Tzou, David P. Anderson: The Performance of Message-passing Using Restricted Virtual Memory Remapping. 251-267
Ronald H. Perrott, T. F. Lunney: A Syntax-directed Integrated Programming Environment for Developing SIMD Supercomputer Software. 269-286
Colin C. Charlton, Paul H. Leng, Janet Little: Vertical Migration of Numerical Routines in Software and Microcode. 287-297
Pieter H. Hartel: Performance of Lazy Combinator Graph Reduction. 299-329
Jon Vaughan, Duncan Whyatt, Graham Brookes: A Parallel Implementation of the Douglas-Peucker Line Simplification. 331-336

H. Rebecca Callison, Alan C. Shaw: Building a Real-time Kernel: First Steps in Validating a Pure Process/Adt Model. 337-354
Gianpiero Cabodi, Paolo Camurati, Paolo Prinetto, Matteo Sonza Reorda: TPDL: Extended Temporal Profile Description Language. 355-374
W. Wilson Ho, Ronald A. Olsson: An Approach to Genuine Dynamic Linking. 375-390
Vincent D. Moynihan, Peter J. L. Wallis: The Design and Implementation of a High-level Language Converter. 391-400
Frédéric Boussinot: Reactive C: An Extension of C to Program Reactive Systems. 401-428

Cui-Qing Yang, Raphael A. Finkel: Utility Servers in Charlotte. 429-441
Umakishore Ramachandran, Yousef Y. A. Khalidi: An Implementation of Distributed Shared Memory. 443-464
David R. Crowe: NovAtel's Novel Approach to CPU Usage Measurement. 465-477
Simon L. Peyton Jones, David Lester: A Modular Fully-lazy Lambda Lifter in HASKELL. 479-506
Pierre N. Robillard, Daniel Coupal, François Coallier: Profiling Software through the Use of Metrics. 507-518
Aniello Cimitile, Ugo de Carlini: Reverse Engineering: Algorithms for Program Graph Production. 519-537

James M. Purtilo, Joanne M. Atlee: Module Reuse by Interface Adaptation. 539-556
Roman Rozin, Siegfried Treu: A Hybrid Implementation of a Process-oriented Programming Language for System Simulation. 557-579
Keith D. Cooper, Mary W. Hall, Linda Torczon: An Experiment with Inline Substitution. 581-601
Evelina Lamma, Paola Mello, Antonio Natali: Reflection Mechanisms for Combining Prolog Databases. 603-624
Yaron Wolfsthal: Style Control in the Quill Document Editing Systems. 625-638
Hervé J. Touati, Alan Jay Smith: Reducing and Manipulating Complex Trace Data. 639-655

Hsiao-Chung Cheng, Jang-Ping Sheu: Design and Implementation of a Distributed File System. 657-675
Norman Ramsey, Carla Marceau: Literate Programming on a Team Project. 677-683
K. N. King, A. Jefferson Offutt: A Fortran Language System for Mutation-based Software Testing. 685-718
Prasun Dewan: An Inheritance Model for Supporting Flexible Displays of Data Structures. 719-738
Wuu Yang: Identifying Syntactic differences Between Two Programs. 739-755

Fred Douglis, John K. Ousterhout: Transparent Process Migration: Design Alternatives and the Sprite Implementation. 757-785
Steven M. Kearns: Extending Regular Expressions with Context Operators and Parse Extraction. 787-804
Steven M. Kearns: Tlex. 805-821
Marco Baldassari, Giorgio Bruno, Andrea Castella: PROTOB: An Object-oriented CASE Tool for Modelling and Prototyping Distributed Systems. 823-844
Xudong He, John A. N. Lee: A Methodology for Constructing Predicate Transition Net Specifications. 845-875
Christopher Mills, Stanley C. Ahalt, James E. Fowler: Compiled Instruction Set Simulation. 877-889

Glenn R. Luecke, Wagar Haque, Jim Hoekstra, Howard W. Jespersen, James Coyle: Evaluation of Fortran Vector Compilers and Preprocessors. 891-905
C. Richard Snow: A Multi-protocol Campus Time Server. 907-922
Jim Welsh, Brad Broom, Derek Kiong: A Design Rationale for a Language-based Editor. 923-948
Yi Zheng, Jim Hague: DMT-a Demonstration Tool. 949-961
Christopher W. Fraser, David R. Hanson: A Code Generation Interface for ANSI C. 963-988

Paul Austin, Kevin Murray, Andy J. Wellings: The Design of an Operating System for a Scalable Parallel Computing Engine. 989-1013
Kyoji Umemura: Floating-point Number LISP. 1015-1026
John A. Dundas III: Implementing Dynamic Minimal-prefix Tries. 1027-1040
Stephen A. Rees, James P. Black: An Experimental Investigation of Distributed Matrix Multiplication Techniques. 1041-1063
P. D. Smith: Experiments with a Very Fast Substring Search Algorithm. 1065-1074
Lee J. White, Bogdan Wiszniewski: Path Testing of Computer Programs with Loops Using a Tool for Simple Loop Patterns. 1075-1102
Kar-Wing Edward Lor: Operational Definitions for System Requirements as the Basis of Design Automation. 1103-1124
Arne Andersson: A Note on Searching in a Binary Search Tree. 1125-1128

Thomas M. J. Fruchterman, Edward M. Reingold: Graph Drawing by Force-directed Placement. 1129-1164
Richard Hesketh: Perly-UNIX with Buttons. 1165-1187
Vernon Rego: EcliPSe: A System for High Performance Concurrent Simulation. 1189-1219
Andrew Hume, Daniel Sunday: Fast String Searching. 1221-1248
M. Carlsson Göthe, D. Wengelin, Lars Asplund: The Distributed Ada Run-time System DARTS. 1249-1263

Jacob P. Ukelson, John D. Gould, Stephen J. Boies, Charles Wiecha: Case Study: Using ITS Style Tools to Implement IBM's CUA-2 User Interface Style. 1265-1288
Sean Quinlan: A Cached WORM File System. 1289-1299
Pohua P. Chang, Scott A. Mahlke, Wen-mei W. Hwu: Using Profile Information to Assist Classic Code Optimizations. 1301-1321
V. Seshadri, David B. Wortman: An Investigation into Concurrent Semantic Analysis. 1323-1348
Eric J. Byrne: Software Reverse Engineering. 1349-1364
J. William Atwood, Walter Prager: A STREAMS-based Communications Subsystem in Turing Plus for Protocol Develelopment. 1365-1380