Table Of Content

CONTENTS Volume 22, Issue Nos. 1-12 SOFTWARE—PRACTICE & EXPERIENCE Issue No. 1, JANUARY Administrators and Multiprocessor Rendezvous Mechanisms: W. Gentle- man, T. Shepard and D. Thoreson Experience Compiling Fortran to Program Dependence Graphs: K. Ottenstein and S. Ellcey User Interface—Application Communication in the Chimera User Interface Management System: C. A. Wood and P. D. Gray Simple Register Spilling in a Retargetable Compiler: C. W. Fraser and D. R. Hanson Issue No. 2, FEBRUARY Optimizing Stack Frame Accesses for Processors with Restricted Address- ing Modes: D. H. Bartley Incremental Semantic Evaluation in Language-based Editors: D. Kiong and J. Welsh uC**: Concurrency in the Object-oriented Language C**: P. A. Buhr, G. Ditchfield, R. A. Stroobosscher, B. M. Younger and C. R. Zarnke Experience with Fagan’s Inspection Method: E. P. Doolan The Practical Integration of Manufacturing Applications: J. S. Busby and D. Hutchison Indexed or abstracted by Cambridge Scientific Abstracts, CompuMath Citation Index (ISI), Computer Contents, Computer Literature Index, Computing Reviews, Current Contents/Eng, Tech & Applied Sciences, Data Processing Digest, Educational Technology Abstracts, Engin- eering Index, Engineering Societies Library, Information Science Abstracts (Plenum), INSPEC, Knowledge Engineering Review, Nat Centre for Software Technology, Research Alert (IS!) and SCISEARCH Database (ISI). VOLUME CONTENTS Issue No. 3, MARCH Efficient Prolog Programming: T. Knuutila The Design and implementation of a Grammar-based Data Generator: P. M. Maurer A Parallel Database-driven Protocol Verification System Prototype: O. Frieder Implementing Concurrent C: N. H. Gehani and W. D. Roome Issue No. 4, APRIL Object-oriented Implementation Issues in an Experimental CAD System: Adding Run-time Checking to the Portable C Compiler: J. L. Steffen.... ARTK-M2: a Kernel for Ada Tasking Requirements: an Implementation and an Automatic Generator: J. L. Diaz-Herrera, R. D. Graft and D. B. Issue No. 5, MAY Profile-guided Automatic Inline Expansion for C Programs: P. P. Chang, S. A. Mahike, W. Y. Chen and W.-M. W. Hwu A Vector C and Fortran Compiler for the FPS T-Series: Experiences with Compiling to occam |: D. E. Stevenson, L. K. Ammons, W. G. Crosmun, A. Jackson and G. L. Raj The Elaboration Order Problem of Ada: L. C. Lander, S. Mitra, N. Singhvi and T. F. Piatkowski A New Parsing Method for Non-LR(1) Grammars: A. G. Harford, V. P. Heuring and M. G. Main VOLUME CONTENTS Issue No. 6, JUNE Selecting the Median and Two Quartiles in a Set of Numbers: W. Cunto, J. |. Munro and M. Rey Ingest—A Simple Program for Performing Distributed Relational Database Operations: D. Silberberg Arithmetic Equality Constraints as C** Statements: C. J. Van Wyk Issue No. 7, JULY Tuning a Parallel Database Algorithm on a Shared-memory Multi- processor: G. Graefe and S. S. Thakkar The Evolution of an Object-oriented Compiler Framework: J. O. Graver Practical Experience with OS/2 Installable File Systems: D. M. Ogle, N. G. Es Se: COGNG nb on keksy comes aceankettdaceeamaleende Problems with Determining Package Cohesion and Coupling: L. Rising and F. W. Calliss Extension Table Built-ins for Prolog: C. Fan and S. W. Dietrich Short Communication Issues in Porting Software from C to C**: R. Hashemi and R. J. Leach Issue No. 8, AUGUST A Group Process for Defining Local Software Quality: Field Applications and Validation Experiments: C. J. Trammell and J. H. Poore An Optimizing Compiler for the Icon Programming Language: K. Walker and R. E. Griswold Garbage Collection Alternatives for Icon: M. F. Fernandez and D. R. Hanson Multilevel Security in the UNIX Tradition: M. D. Mcllroy and J. A. Reeds VOLUME CONTENTS Issue No. 9, SEPTEMBER An Efficient Implementation of Trie Structures: J.-l. Aoe, K. Morimoto and Assignment of Independent Tasks to Minimize Completion Time: B. A. Synchronous and Asynchronous Handling of Abnormal Events in the uSystem: P. A. Buhr, H. |. Macdonald and C. R. Zarnke Software Tools for Micro-analysis of Programs: J.CohenandA.Weitzman 777 Issue No. 10, OCTOBER cxterm: A Chinese Terminal Emulator for the X Window System: M.-C. Pong and Y. Zhang Exceptional C or C with Exceptions: N. H. Gehani Linkage Analysis of Processes: A. T. Yaung and T. Raz Monitoring and Debugging Distributed Real-time Programs: P. S. Dodd and C. V. Ravishankar Tuning the Boyer—-Moore—Horspool String Searching Algorithm: T. Raita 879 Stress Testing of Compilers for Modula-2: C. Pronk Tm: a Code Generator for Recursive Data Structures: C. van Reeuwijk.. 899 Letter to the Editor Issue No. 11, NOVEMBER Towards a Toolkit for Building Language Implementations: C. Fédéle and O. Lecarme Hypertext Development Using a Modei-based Approach: D. Schwabe, A. Caloini, F. Garzotto and P. Paolini VOLUME CONTENTS Specification and Quality Assurance of Timing Constraints in Real-time Systems Development: C.-C. Lien and C.-C. Yang A Comparison of Two Paradigms for Distributed Shared Memory: W. G. Levelt, M. F. Kaashoek, H. E. Bal and A.S. Tanenbaum ALADIN: A Scanner Generator for Incremental Programming Environ- ments: B. Fischer, C. Hammer and W. Struckmann Issue No. 12, DECEMBER CCIGS: A Data Compression System for Chinese Fonts and Binary Images Using Classification Techniques: K.-Y. Chang and G. T. Yang Reusability Through Fine-grain Inheritance: P. A. Johnson and C. Rees 1049 An Exercise in Formalizing the Description of a Concurrent System: D. W. Bustard, M. T. Norris, R. A. Orr and A. C. Winstanley Incrementally Maintained Network — Relational Database Mapping: L. Mark, N. Roussopoulos, T. Newsome and P. Laohapipattana Author Index Key Word Index