Science 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