Software - Practice and Experience (SPE), Volume 20, 1990

Volume 20, Number 1, January 1990

• David Barron, Charles Lang: SPE-The Early Years. 3-4 BibTeX
• David R. Hanson: Fast Allocation and Deallocation of Memory Based on Object Lifetimes. 5-12 BibTeX
• Niklaus Wirth: Ceres-Net: A Low-cost Computer Network. 13-24 BibTeX
• Wayne R. Cowell, Christopher P. Thompson: Tools to Aid in Discovering Parallelism and Localizing Arithmetic in Fortran Programs. 25-47 BibTeX
• Arthur C. Fleck: A Case Study Comparison of Four Declarative Programming Languages. 49-65 BibTeX
• Vaclav Rajlich, Nicholas Damaskinos, Panagiotis K. Linos, Wafa Khorshid: VIFOR: A Tool for Software Maintenance. 67-77 BibTeX
• Alexis Koster, Douglas Stott Parker Jr.: Regulation Management and Logic Programming. 79-107 BibTeX

Volume 20, Number 2, February 1990

• Roger B. Dannenberg: A Structure for Efficient Update, Incremental Redisplay and Undo in Graphical Editors. 109-132 BibTeX
• Thomas R. Gross, Peter Steenkiste: Structured Dataflow Analysis for Arrays and its Use in an Optimizing Compiler. 133-155 BibTeX
• John K. Bennett: Experience with Distributed Smalltalk. 157-180 BibTeX
• Eugene H. Spafford: Extending Mutation Testing to Find Environmental Bugs. 181-189 BibTeX
• Brian A. Malloy, Mary Lou Soffa: Conversion of Simulation Processes to Pascal Constructs. 191-207 BibTeX
• Bruce J. McKenzie, R. Harries, Timothy C. Bell: Selecting a Hashing Algorithm. 209-224 BibTeX

Volume 20, Number 3, March 1990

• Paul Vongsathorn, Scott D. Carson: A System for Adaptive Disk Rearrangement. 225-242 BibTeX
• Giulio Iannello: Programming Abstract Data Types, Iterators and Generic Modules in C. 243-260 BibTeX
• Christian Lengauer: Code Generation for a Systolic Computer. 261-282 BibTeX
• Bin Qin, Howard A. Sholl, Reda A. Ammar: A Tool to Minimize the Time Costs of Parallel Computations Through Optimal Processing Power Allocation. 283-300 BibTeX
• James R. Cordy, Richard C. Holt: Code Generation Using an Orthogonal Model. 301-320 BibTeX
• Rekha Amur, K. Ananda Mohan, M. D. Ramaswami: TMS: A Free-form Text-management System. 321-324 BibTeX

Volume 20, Number 4, April 1990

• Charles W. Reynolds: Signalling Regions: Multiprocessing in a Shared Memory Reconsidered. 325-356 BibTeX
• David Notkin: Proxies: A Software Structure for Accommodating Heterogeneity. 357-364 BibTeX
• J. Adrian Zimmer: Restructuring for Style. 365-389 BibTeX
• Willett Kempton, Brian A. Wichmann: Run-time Detection of Undefined Variables Considered Essential. 391-402 BibTeX
• Mic Bowman, Larry L. Peterson, Andrey Yeatts: Univers: An Attribute-based Name Server. 403-424 BibTeX

Volume 20, Number 5, May 1990

• H. Rex Hartson, Deborah Hix, Thomas M. Kraly: Developing Human-Computer Interface Models and Representation Techniques. 425-457 BibTeX
• Duane Szafron, Randy Ng: LexAGen: An Interactive Incremental Scanner Generator. 459-483 BibTeX
• Matt Bishop: Collaboration using Roles. 485-497 BibTeX
• Dan Lyttle, Ray Ford: A Symbolic Debugger for Real-time Embedded Ada Software. 499-514 BibTeX

Volume 20, Number 6, June 1990

• Michael Whitney: Even Faster LR Parsing. 515-535 BibTeX
• Kasi Anantha, Fred Long: Code Compaction for Parallel Architectures. 537-554 BibTeX
• Ram Sudama, Dah-Ming Chiu: Experiences of Designing a Sophisticated Network Monitor. 555-570 BibTeX
• Narain H. Gehani: Message Passing in Concurrent C: Synchronous Versus Asynchronous. 571-592 BibTeX
• Kwan-Liu Ma, Robert R. Kessler: TICL-A Type Inference System for Common Lisp. 593-623 BibTeX
• James K. Mullin, Daniel J. Margoliash: A Tale of Three Spelling Checkers. 625-630 BibTeX

Volume 20, Number 7, July 1990

• Leon H. Binder, Jesse H. Poore: Field Experiments with Local Software Quality Metrics. 631-647 BibTeX
• Rob Pike: The Implementation of Newsqueak. 649-659 BibTeX
• M. Douglas McIlroy: Squinting at Power Series. 661-683 BibTeX
• John Q. Walker II: A Node-positioning Algorithm for General Trees. 685-705 BibTeX
• J. E. Jordan: Experiences Structuring Software in a Periodic Real-time Environment. 707-718 BibTeX
• E. P. Wentworth: Pitfalls of Conservative Garbage Collection. 719-727 BibTeX
• Christian Iseli: A Microcode Compiler for the Watch-oriented RISC Processor. 729-747 BibTeX

Volume 20, Number 8, August 1990

• Kai Koskimies: Lazy Recursive Descent Parsing for Modular Language Implementation. 749-772 BibTeX
• Anand Tripathi, Zine Attia El Hili: Synchronization of Nested Atomic Actions. 773-798 BibTeX
• Louise E. Moser, P. M. Melliar-Smith: Formal Verification of Safety-critical Systems. 799-821 BibTeX
• Bruce J. McKenzie: LR Parsing of CFGs with Restrictions. 823-832 BibTeX
• Samuel E. Ebenstein, Tracy L. McDermott: Optimization Techniques for Parallel Processing. 833-849 BibTeX
• Christopher W. Fraser, Balachander Krishnamurthy: Live Text. 851-858 BibTeX

Volume 20, Number 9, September 1990

• Colin C. Charlton, Paul H. Leng, Dennis M. Wilkinson: Program Monitoring and Analysis: Software Structures and Architectural Support. 859-867 BibTeX
• Diane Hernek, David P. Anderson: Efficient Automated Protocol Implementation Using RTAG. 869-885 BibTeX
• Frederick S. Kuhl: Object-oriented Programming Applied to a Prototype Workstation. 887-898 BibTeX
• Nachum Dershowitz, Edward M. Reingold: Calendrical Calculations. 899-928 BibTeX
• Peter A. Buhr, Richard A. Stroobosscher: The System: Providing Light-weight Concurrency on Shared-memory Multiprocessor Computers Running UNIX. 929-964 BibTeX

Volume 20, Number 10, October 1990

• Valmir C. Barbosa, Priscila Machado Vieira Lima: On the Distributed Parallel Simulation of Hopfield's Neural Networks. 967-983 BibTeX
• Adolf Schleiermacher, Jürgen F. H. Winkler: The Implementation of ProTest: a Prolog Debugger for a Refined Box Model. 985-1006 BibTeX
• Tom C. Reyes, James L. Sills: Implementation of a Portable Screen Manager. 1007-1014 BibTeX
• Mary P. Bivens, Mary Lou Soffa: Incremental Register Reallocation. 1015-1047 BibTeX
• Alan H. Bond, Basuki Soetarman: Integrating Prolog and CADAM to Produce an Intelligent CAD System. 1049-1076 BibTeX

Volume 20, Number 11, November 1990

• Gaynor Legge, Mahir Ali: UNIX File System Behaviour and Machine Architecture Dependency. 1077-1096 BibTeX
• Weichang Du, William W. Wadge: The Eductive Implementation of a Three-dimensional Spreadsheet. 1097-1114 BibTeX
• Josef Grosch: Lalr - A Generator for Efficient Parsers. 1115-1135 BibTeX
• Rafael Dueire Lins, Simon J. Thompson: Implementing SASL using Categorical Multi-combinators. 1137-1165 BibTeX
• F. Burton, Hsi-Kai Yang: Manipulation Multilinked Data Structures in a Pure Functional Language. 1167-1185 BibTeX

Volume 20, Number 12, December 1990

• Ronald A. Olsson: Using SR for Discrete Event Simulation: A Study in Concurrent Programming. 1187-1208 BibTeX
• A. Sharaf Eldin, D. J. Evans: A Virtual Stack Facility for Mini-computer and Microcomputer Implementation of the Finite Element Method. 1209-1226 BibTeX
• Scott E. Hudson, Shamim P. Mohamed: A Graphical User Interface Server for UNIX. 1227-1239 BibTeX
• James R. Larus: Abstract Execution: A Technique for Efficiently Tracing Programs. 1241-1258 BibTeX
• J. L. Schonfelder, J. S. Morgan: Dynamic Strings in Fortran 90. 1259-1271 BibTeX
• Kelvin D. Nilsen: High-level Goal-directed Concurrent Processing in Icon. 1273-1290 BibTeX

Volume 20, Number S1, 1990

• David L. Presotto, Dennis Ritchie: Interprocess Communication in the Ninth Edition Unxi System. S1/3-S1/17 BibTeX
• David G. Korn, Eduardo Krell: A New Dimension for the Unix File System. S1/19-S1/34 BibTeX
• Glenn S. Fowler: A Case for make. S1/35-S1/46 BibTeX
• Peter S. Langston: Unix Music Tools at Bellcore. S1/47-S1/61 BibTeX
• Frances Newberg Paulisch, Walter F. Tichy: EDGE: An Extendible Graph Editor. S1/63-S1/88 BibTeX
• Steven P. Reiss: Interacting with the FIELD environment. S1/89-S1/115 BibTeX

Volume 20, Number S2, 1990

• Robert Scheifler, Jim Gettys: The X Window System. S2/5-S2/34 BibTeX , reprinted from: TOG 5(2): 79-109 (1986)
• Jim Gettys, Philip L. Karlton, Scott McGregor: The X Window System, Version 11. S2/35-S2/67 BibTeX
• Susan Angebranndt, Philip L. Karton, Raymond Drewry, Todd Newman: Writing Tailorable Software: The X11 Sample Server. S2/69-S2/81 BibTeX
• Joel McCormack: Writing Fast X Servers for Dumb Color Frame Buffers. S2/83-S2/108 BibTeX
• Glenn Widener: The X11 Inter-Client Communication Conventions Manual. S2/109-S2/118 BibTeX
• Ralph E. Droms, Wayne R. Dyksen: Performance Measurements of the X Window System Communication Protocol. S2/119-S2/136 BibTeX
• Hania Gajewska, Mark S. Manasse, Joel McCormack: Why X Is Not Our Ideal Window System. S2/137-S2/171 BibTeX
• Glossary