Science of Computer Programming
, Volume 51
Volume 51, Number 1-2, May 2004
Eerke A. Boiten
,
Bernhard Möller
:
Foreword.
1-2
Electronic Edition
(link)
BibTeX
Dexter Kozen
:
Some results in dynamic model theory.
3-22
Electronic Edition
(link)
BibTeX
Joakim von Wright
:
Towards a refinement algebra.
23-45
Electronic Edition
(link)
BibTeX
Wim H. Hesselink
:
Using eternity variables to specify and prove a serializable database interface.
47-85
Electronic Edition
(link)
BibTeX
Shin-Cheng Mu
,
Richard S. Bird
:
Theory and applications of inverting functions as folds.
87-116
Electronic Edition
(link)
BibTeX
Ralf Hinze
,
Johan Jeuring
,
Andres Löh
:
Type-indexed data types.
117-151
Electronic Edition
(link)
BibTeX
Kevin Backhouse
,
Roland Carl Backhouse
:
Safety of abstract interpretations for free, via logical relations and Galois connections.
153-196
Electronic Edition
(link)
BibTeX
Volume 51, Number 3, May 2004
Mark Burgess
:
Configurable immunity for evolving human-computer systems.
197-213
Electronic Edition
(link)
BibTeX
Robert Giegerich
,
Carsten Meyer
,
Peter Steffen
:
A discipline of dynamic programming over sequence data.
215-263
Electronic Edition
(link)
BibTeX
David S. Wile
:
Lessons learned from real DSL experiments.
265-290
Electronic Edition
(link)
BibTeX
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
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:18:41 2009 by
Michael Ley
(
ley@uni-trier.de
)