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 updated on Wed May 22 05:30:56 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page