ACM Computing Surveys, Volume 28

Volume 28, Number 1, March 1996

• 
  Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi:
  In Memoriam Paris C. Kanellakis. 3-15

ACM 50th-Anniversary Symposium: Perspectives in Computer Science

Long versions of these papers are published in The Computer Science and Engineering Handbook

Algorithms and Data Structures

• 
  Edward M. Reingold:
  Basic Techniques for Design and Analysis of Algorithms. 19-21
• 
  Roberto Tamassia:
  Data Structures. 23-26
• 
  D. T. Lee:
  Computational Geometry. 27-31
• 
  Rajeev Motwani, Prabhakar Raghavan:
  Randomized Algorithms. 33-37
• 
  Maxime Crochemore, Thierry Lecroq:
  Pattern-Matching and Text-Compression Algorithms. 39-41
• 
  Samir Khuller, Balaji Raghavachari:
  Graph and Network Algorithms. 43-45
• 
  Michael C. Loui:
  Computational Complexity Theory. 47-49
• 
  Guy E. Blelloch, Bruce M. Maggs:
  Parallel Algorithms. 51-54
• 
  Vijay Chandru, M. R. Rao:
  Combinatorial Optimization: An Integer Programming Perspective. 55-58
• 
  Andrea S. LaPaugh:
  Layout Algorithms for VLSI deisgn. 59-61

Architecture

• 
  Doug Burger:
  Memory Systems. 63-65
• 
  Michael J. Flynn, Kevin W. Rudd:
  Parallel Architectures. 67-70

Artificial Intelligence

• 
  J. Ross Quinlan:
  Learning Decision Tree Classifiers. 71-72
• 
  Michael I. Jordan, Christopher M. Bishop:
  Neural Networks. 73-75
• 
  Stephanie Forrest:
  Genetic Algorithms. 77-80
• 
  Frank L. Lewis, M. Fitzgerald, Kai Liu:
  Robotics. 81-83
• 
  Thomas Dean:
  Automated Planning. 85-87
• 
  Judea Pearl:
  Decision Making Under Uncertainty. 89-92

Computational Science

• 
  Pasquale Cinnella:
  Numerical Simulations of Reactive Flows. 93-96
• 
  Joseph S. Shang:
  Computational Electromagnetics. 97-99
• 
  David T. Kingsbury:
  Computational Biology. 101-103

Database and Information Retrieval

• 
  Abraham Silberschatz, Henry F. Korth, S. Sudarshan:
  Data Models. 105-108
• 
  Stefano Ceri, Raghu Ramakrishnan:
  Rules in Database Systems. 109-111
• 
  Dennis E. Shasha:
  Tuning Databases for High Performance. 113-115
• 
  Betty Salzberg:
  Access Methods. 117-120
• 
  Yannis E. Ioannidis:
  Query Optimization. 121-123
• 
  M. Tamer Özsu, Patrick Valduriez:
  Distributed and Parallel Database Systems. 125-128
• 
  Sushil Jajodia:
  Database Security and Privacy. 129-131
• 
  Ellen Riloff, Lee A. Hollaar:
  Text Databases and Information Retrieval. 133-135
• 
  François Bancilhon:
  Object Databases. 137-140
• 
  Jim Melton:
  SQL Language Summary. 141-143

Computer Graphics

• 
  Donald H. House:
  Overview of Three-Dimensional Computer Graphics. 145-148
• 
  Alyn P. Rockwood:
  Geometric Primitives. 149-151
• 
  David S. Ebert:
  Advanced Modeling Techniques for Computer Graphics. 153-156
• 
  Alan Watt:
  Rendering Techniques: Past, Present and Future. 157-159
• 
  Nadia Magnenat-Thalmann, Daniel Thalmann:
  Computer Animation. 161-163
• 
  Arie E. Kaufman:
  Volume Visualization. 165-167

Human-Computer Interaction

• 
  Jonathan Grudin:
  The Organizational Contexts of Development and Use. 169-171
• 
  Wolfgang Dzida:
  International Usability Standards. 173-175
• 
  Robert J. K. Jacob:
  Human-Computer Interaction: Input Devices. 177-179
• 
  Colin Ware:
  Multimedia Output Devices and Techniques. 181-183
• 
  Jürgen Ziegler:
  Interactive Techniques. 185-187
• 
  Brad A. Myers:
  User Interface Software Technology. 189-191
• 
  Mary Beth Rosson:
  Human Factors in Programming and Software Development. 193-195
• 
  Stuart A. Selber, Johndan Johnson-Eilola, Brad Mehlenbacher:
  Online Support Systems. 197-200

Operating Systems and Networks

• 
  Raphael A. Finkel:
  Operating Systems. 201-203
• 
  John A. Stankovic:
  Real-Time and Embedded Systems. 205-208
• 
  Craig E. Wills:
  Process Synchronization and IPC. 209-211
• 
  Peter J. Denning:
  Virtual Memory. 213-216
• 
  Marshall K. McKusick:
  Secondary Storage and Filesystems. 217-219
• 
  William Stallings:
  Advances in High-Speed Networking. 221-223
• 
  Sape J. Mullender:
  Distributed Operating Systems. 225-227
• 
  Thomas W. Doeppner Jr.:
  Distributed File Systems and Distributed Memory. 229-231
• 
  Steve J. Chapin:
  Distributed and Multiprocessor Scheduling. 233-235
• 
  Howard Jay Siegel, Henry G. Dietz, John K. Antonio:
  Software Support for Heterogeneous Computing. 237-239
• 
  Ravi S. Sandhu, Pierangela Samarati:
  Authetication, Access Control, and Audit. 241-243

Programming Languages

• 
  Kim B. Bruce:
  Process in Programming Languages. 245-247
• 
  Benjamin Goldberg:
  Functional Programming Languages. 249-251
• 
  Stuart Hirshfield, Raimund K. Ege:
  Object-Oriented Programming. 253-255
• 
  Jacques Cohen:
  Logic Programming and Constraint Logic Programming. 257-259
• 
  Michael Wolfe:
  Parallelizing Compilers. 261-262
• 
  Luca Cardelli:
  Type Systems. 263-264
• 
  David A. Schmidt:
  Programming Language Semantics. 265-267

Software Engineeing

• 
  Ian Sommerville:
  Software Process Models. 269-271
• 
  Ian M. Holland, Karl J. Lieberherr:
  Object-Oriented Design. 273-275
• 
  Stephen R. Schach:
  Testing: Principles and Practice. 277-279
• 
  Steven P. Reiss:
  Software Tools and Environments. 281-284
• 
  Peter Wegner:
  Interoperability. 285-287

Volume 28, Number 2, June 1996

Symposium on Models of Programming Languages and Compuation

• 
  Chris Hankin, Hanne Riis Nielson:
  Computing Surveys Symposium on Models of Programming Languages and Compuation. 293-294

Language Design

• 
  Gul Agha:
  Linguistic Paradigms for Programming Complex Distributed Systems. 295-296
• 
  Jean-Marc Andreoli, Remo Pareschi:
  Integrated Computational Paradigms for Flexible Client-Server Communication. 297-299
• 
  Paolo Ciancarini:
  Coordination Models and Languages as Software Integrators. 300-302
• 
  David R. Gilbert:
  Can Computational Logic Provide a Paradigm for Both the Specification and Implementation of Concurrent Systems? 303-305
• 
  Michael Hanus, Herbert Kuchen:
  Integration of Functional and Logic Programming. 306-308
• 
  Alan Mycroft:
  On Integration of Programming Paradigms. 309-311
• 
  Uday S. Reddy:
  Imperative Functional Programming. 312-314
• 
  Dennis M. Volpano, Geoffrey Smith:
  On the Systematic Design of Web Languages. 315-317
• 
  Philip Wadler:
  Lazy Versus Strict. 318-320

Program Analysis

• 
  P. N. Benton:
  On the Relationship Between Formal Semantics and Static Analysis. 321-323
• 
  Patrick Cousot:
  Abstract Interpretation. 324-328
• 
  Olivier Danvy, Nevin Hentze, Karoline Malmkjær:
  Resource-Bounded Partial Evaluation. 329-332
• 
  Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato:
  A Unifying View of Abstract Domain Design. 333-336
• 
  Suresh Jagannathan, Andrew K. Wright:
  Compiling Functional Languages with Flow Analysis. 337-339
• 
  Daniel Le Métayer, David A. Schmidt:
  Structural Operational Semantics as a Basis for Static Program Analysis. 340-343
• 
  Flemming Nielson:
  Annotated Type and Effect Systems. 344-345

Program Verification and Types

• 
  Mads Dam:
  Modalities in Analysis and Verification. 346-348
• 
  Robert Cartwright, Matthias Felleisen:
  Program Verification Through Soft Typing. 349-351
• 
  Pierpaolo Degano, Corrado Priami:
  Enhanced Operational Semantics. 352-354
• 
  C. Barry Jay:
  Shape in Computing. 355-357
• 
  Jens Palsberg:
  Type Inference for Objects. 358-359

Long Papers

• 
  Alberto Pettorossi, Maurizio Proietti:
  Rules and Strategies for Transforming Functional and Logic Programs. 360-414
• 
  William B. Frakes, Carol Terry:
  Software Reuse: Metrics and Models. 415-435

Volume 28, Number 3, September 1996

• 
  Antero Taivalsaari:
  On the Notion of Inheritance. 438-479
• 
  Neil D. Jones:
  An Introduction to Partial Evaluation. 480-503
• 
  Joseph A. Gallian:
  Error Detection Methods. 504-517
• 
  Peter Soderquist, Miriam Leeser:
  Area and Performance Tradeoffs in Floating-Point Divide and Square-Root Implementations. 518-564

Volume 28, Number 4, December 1996

ACM 50th Anniversary Issue: Strategic Directions in Computing Research

• 
  Peter Wegner, Jon Doyle:
  Editorial: Strategic Directions in Computing Research. 565-574

Foundations

• 
  Michael C. Loui:
  Strategic Directions in Research in Theory of Computing. 575-590
• 
  Roberto Tamassia:
  Strategic Directions in Computational Geometry. 591-606
• 
  Rance Cleaveland, Scott A. Smolka:
  Strategic Directions in Concurrency Research. 607-625
• 
  Edmund M. Clarke, Jeannette M. Wing:
  Formal Methods: State of the Art and Future Directions. 626-643
• 
  Chris Hankin, Hanne Riis Nielson, Jens Palsberg:
  Strategic Directions in Research on Programming Languages. 644-652
• 
  Jon Doyle, Thomas L. Dean:
  Strategic Directions in Artificial Intelligence. 653-670

Systems

• 
  Trevor N. Mudge:
  Strategic Directions in Computer Architecture. 671-678
• 
  David Clark, Joseph Pasquale:
  Strategic Directions in Networks and Telecommunications. 679-690
• 
  Rachid Guerraoui:
  Strategic Directions in Object-Oriented Programming. 691-700
• 
  Pascal Van Hentenryck, Vijay A. Saraswat:
  Strategic Directions in Constraint Programming. 701-726
• 
  Carl A. Gunter, John C. Mitchell, David Notkin:
  Strategic Directions in Software Engineering and Programming Languages. 727-737
• 
  Leon J. Osterweil:
  Strategic Directions in Software Quality. 738-750
• 
  John A. Stankovic:
  Strategic Directions in Real-Time and Embedded Systems. 751-763
• 
  Abraham Silberschatz, Stanley B. Zdonik:
  Strategic Directions in Database Systems - Breaking Out of the Box. 764-778
• 
  Garth A. Gibson, Jeffrey Scott Vitter, John Wilkes:
  Strategic Directions in Storage I/O Issues in Large-Scale Computing. 779-793

Applications and Infrastructure

• 
  Brad A. Myers, James D. Hollan, Isabel F. Cruz:
  Strategic Directions in Human-Computer Interaction. 794-809
• 
  Ahmed H. Sameh:
  Computational Science and Engineering. 810-817
• 
  Nabil R. Adam, Yelena Yesha:
  Strategic Directions in Electronic Commerce and Digital Libraries: Towards a Digital Agora. 818-835
• 
  Allen B. Tucker:
  Strategic Directions in Computer Science Education. 836-845

Volume 28, Number 4es, December 1996

Artificial Intelligence

• 
  Ronald J. Brachman, Hector J. Levesque:
  Undirected Behavior Without Unbounded Search. 1
• 
  Thomas Dean:
  Integrating Theory and Practice in Planning. 2
• 
  Thomas G. Dietterich:
  Machine Learning. 3
• 
  Jon Doyle:
  Cleaving (Unto) Artificial Intelligence. 4
• 
  C. Cordell Green:
  Formality Helps Scalability and Robustness. 5
• 
  Barbara J. Grosz:
  The Importance of Integration for AI. 6
• 
  Ian Horswill:
  Integrated Systems and Naturalistic Tasks. 7
• 
  Daphne Koller:
  Structured Representations and Intractability. 8
• 
  Fernando C. N. Pereira:
  Language, Computation and Artificial Intelligence. 9
• 
  Bart Selman:
  Computational Challenges in Artificial Intelligence. 10
• 
  Yoav Shoham:
  The Open Scientific Borders of AI, and the Case of Economics. 11
• 
  Howard E. Shrobe:
  Two Challenging Domains. 12
• 
  William R. Swartout:
  Future Directions in Knowledge-Based Systems. 13
• 
  Michael P. Wellman:
  The Economic Approach to Artificial Intelligence. 14
• 
  Shlomo Zilberstein:
  Resource-Bounded Reasoning in Intelligent Systems. 15

Computational Geometry

• 
  Pankaj K. Agarwal, Subhash Suri:
  Simple and Practical Geometric Algorithms. 16
• 
  Nancy M. Amato:
  Equipping CAD/CAM Systems with Geometric Intelligence. 17
•