default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 51
Volume 51, Number 1-2, May 2004
- Eerke A. Boiten, Bernhard Möller:
Foreword. 1-2 - Dexter Kozen
:
Some results in dynamic model theory. 3-22 - Joakim von Wright:
Towards a refinement algebra. 23-45 - Wim H. Hesselink:
Using eternity variables to specify and prove a serializable database interface. 47-85 - Shin-Cheng Mu, Richard S. Bird:
Theory and applications of inverting functions as folds. 87-116 - Ralf Hinze, Johan Jeuring, Andres Löh:
Type-indexed data types. 117-151 - Kevin Backhouse, Roland Carl Backhouse:
Safety of abstract interpretations for free, via logical relations and Galois connections. 153-196
Volume 51, Number 3, May 2004
- Mark Burgess:
Configurable immunity for evolving human-computer systems. 197-213 - Robert Giegerich, Carsten Meyer, Peter Steffen:
A discipline of dynamic programming over sequence data. 215-263 - David S. Wile:
Lessons learned from real DSL experiments. 265-290 - Jan Joris Vereijken:
Process algebra with timing: J.C.M. Baeten and C.A. Middelburg (Eds); Springer, Berlin, 2002, pp. XX+287, ISBN 3-540-43447-X. 291-292
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-04 01:27 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:
