ACM Computing Surveys, Volume 30

Volume 30, Number 1, March 1998

• Scott M. Lewandowski:
  Frameworks for Component-Based Client/Server Computing. 3-27
  
• Ran El-Yaniv:
  Competitive Solutions for Online Financial Prob. 28-69
  
• Alexander Thomasian:
  Concurrency Control: Methods, Performance, and Analysis. 70-119
  

Volume 30, Number 2, June 1998

• David B. Skillicorn, Domenico Talia:
  Models and Languages for Parallel Computation. 123-169
  
• Volker Gaede, Oliver Günther:
  Multidimensional Access Methods. 170-231
  
• Reidar Conradi, Bernhard Westfechtel:
  Version Models for Software Configuration Management. 232-282
  

Volume 30, Number 3, September 1998

• Peter Wegner:
  Editorial. 284
  
• Olivier Danvy, Robert Glück, Peter Thiemann:
  1998 Symposium on Partial Evaluation. 285-290
  
• Jean-Pierre Briot, Rachid Guerraoui, Klaus-Peter Löhr:
  Concurrency and Distribution in Object-Oriented Programming. 291-329
  
• Saleh E. Abdullahi, Graem A. Ringwood:
  Garbage Collecting the Internet: A Survey of Distributed Garbage Collection. 330-373
  
• Prasant Mohapatra:
  Wormhole Routing Techniques for Directly Connected Multicomputer Systems. 374-410
  

Volume 30, Number 3es, September 1998

• David A. Basin:
  Logical-Framework-Based Program Development. 1
  
• John Field, Jan Heering, T. B. Dinesh:
  Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation. 2
  
• Andrei V. Klimov:
  Program Specialization vs. Program Composition. 3
  
• Michael Leuschel, Bern Martens, Danny De Schreye:
  Some Achievements and Prospects in Partial Deduction. 4
  
• Torben Æ. Mogensen:
  Inherited Limits. 5
  
• Alberto Pettorossi, Maurizio Proietti:
  Program Specialization via Algorithmic Unfold/Fold Transformations. 6
  
• Akihiko Takano, Zhenjiang Hu, Masato Takeichi:
  Program Transformation in Calculational Form. 7
  
• Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies:
  Modal Types as Staging Specifications for Run-Time Code Generation. 8
  

• María Alpuente, Moreno Falaschi, Germán Vidal:
  A Unifying View of Functional and Logic Program Specialization. 9
  
• Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello:
  Optimizing Modular Logic Languages. 10
  
• Sandro Etalle, Maurizio Gabbrielli:
  Partial Evaluation of Concurrent Constraint Languages. 11
  
• John P. Gallagher, Laura Lafave:
  The Role of Trace Abstractions in Program Specialization Algorithms. 12
  
• John Hatcliff:
  Foundations for Partial Evaluation of Functional Programs with Computational Effects. 13
  
• John Hughes:
  Type Specialization. 14
  
• Laura Lafave, John P. Gallagher:
  Extending the Power of Automatic Constraint-Based Partial Evaluators. 15
  
• Konstantinos F. Sagonas, Michael Leuschel:
  Extending Partial Deduction to Tabled Execution: Some Results and Open Issues. 16
  

• Sandrine Blazy, Philippe Facon:
  Partial Evaluation for Program Comprehension. 17
  
• Tristan Cazenave:
  Synthesis of an Efficient Tactical Theorem Prover for the Game of Go. 18
  
• Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi:
  Tempo: Specializing Systems applications and Beyond. 19
  
• Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi:
  Partial Evaluation for Software Engineering. 20
  
• Scott Draves:
  Partial Evaluation for Media Processing. 21
  
• Matthew B. Dwyer, John Hatcliff, Muhammad Nanda:
  Using Partial Evaluation to Enable Verification of Concurrent Software. 22
  
• Mark Leone, Peter Lee:
  Dynamic Specialization in the Fabius System. 23
  
• Oscar Waddell, R. Kent Dybvig:
  Visualizing Partial Evaluation. 24
  

Volume 30, Number 4, December 1998

• Pankaj K. Agarwal, Micha Sharir:
  Efficient Algorithms for Geometric Optimization. 412-458
  
• Roel Wieringa:
  A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. 459-527
  
• Fabio Crestani, Mounia Lalmas, C. J. van Rijsbergen, Iain Campbell:
  ``Is This Document Relevant? ... Probably'': A Survey of Probabilistic Models in Information Retrieval. 528-552
  

Last update Wed May 22 17:26:02 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page