default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 38
Volume 38, Number 1-3, August 2000
- Rudolf Berghammer, Thorsten Hoffmann
:
Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem. 1-25 - Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck:
Combinations of abstract domains for logic programming: open product and generic pattern construction. 27-71 - Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili:
A calculus of program adaptation and its applications. 73-124 - Stephan Diehl:
A generative methodology for the design of abstract machines. 125-142 - Gianfranco Balbo:
Review: Performance Modeling with Deterministic and Stochastic Petri Nets - Christoph Lindemann, Wiley-Interscience Series in Systems and Optimization, Wiley, New York, 1998, 405 pages, ISBN 0-471-97646-6. 143-146 - Jan van Eijck:
Review: The Tbilisi Symposium on Logic, Language and Computation: Selected Papers - Jonathan Ginzburg, Zurab Khasidashvili, Carl Vogel, Jean-Jacques Lévi, and Enric Vallduví (Eds.), Studies in Logic, Language and Information series of CSLI Publications and FoLLI, Stanford, 1998, xxxi + 376 pages, ISBN 1-57586-098-8. 147-149 - Davide Sangiorgi:
Review: Communicating and Mobile Systems: the -calculus, - Robin Milner, Cambridge University Press, Cambridge, 1999, 174 pages, ISBN 0-521-64320-1. 151-153 - Thomas Streicher:
Review: Practical Foundations of Mathematics - Paul Taylor, Cambridge Studies in Advanced Mathematics, Vol. 59, Cambridge University Press, Cambridge, 1999. xi+572 pages, price £50 paperback, ISBN 0-521-63107-6. 155-157
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 2025-12-20 23:48 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:
