External Links

Journal: Science of Computer Programming

Volume 51, Issue 3

197 -- 213Mark Burgess. Configurable immunity for evolving human-computer systems
215 -- 263Robert Giegerich, Carsten Meyer, Peter Steffen. A discipline of dynamic programming over sequence data
265 -- 290David S. Wile. Lessons learned from real DSL experiments
291 -- 292Jan 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

Volume 51, Issue 1-2

1 -- 2Eerke Boiten, Bernhard Möller. Foreword
3 -- 22Dexter Kozen. Some results in dynamic model theory
23 -- 45Joakim von Wright. Towards a refinement algebra
47 -- 85Wim H. Hesselink. Using eternity variables to specify and prove a serializable database interface
87 -- 116Shin-Cheng Mu, Richard S. Bird. Theory and applications of inverting functions as folds
117 -- 151Ralf Hinze, Johan Jeuring, Andres Löh. Type-indexed data types
153 -- 196Kevin Backhouse, Roland Carl Backhouse. Safety of abstract interpretations for free, via logical relations and Galois connections
runs on