default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM 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
Principles, Foundations and Frameworks
- 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 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 J. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-10 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
