From object-orientation to formal methods. Essays in memory of Ole-Johan Dahl. (Q1880599)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Owe, Olaf; Krogdahl, Stein; Lyche, Tom}, A biography of Ole-Johan Dahl, 1-7 [Zbl 1278.01019] \textit{Owe, Olaf; Krogdahl, Stein; Lyche, Tom}, A bibliography of Ole-Johan Dahl, 8-14 [Zbl 1278.01020] \textit{Agha, Gul; Thati, Prasanna}, An algebraic theory of actors and its application to a simple object-based language, 26-57 [Zbl 1278.68064] \textit{Goguen, Joseph; Rosu, Grigore}, Composing hidden information modules over inclusive institutions, 96-123 [Zbl 1278.68203] \textit{Johnsen, Einar Broch; Owe, Olaf}, Object-oriented specification and open distributed systems, 137-164 [Zbl 1278.68067] \textit{Knuth, Donald E.; Ruskey, Frank}, Efficient coroutine generation of constrained Gray sequences, 183-208 [Zbl 1278.68352] \textit{Langmaack, Hans}, Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding, 209-235 [Zbl 1278.68043] \textit{Sintzoff, Michel}, Iterative synthesis of control guards ensuring invariance and inevitability in discrete-decision games, 272-301 [Zbl 1278.68196] \textit{Stehr, Mark-Oliver; Meseguer, José}, Pure type systems in rewriting logic: specifying typed higher-order languages in a first-order logical framework, 334-375 [Zbl 1278.03066] \textit{Vaucher, Jean G.}, Building optimal binary search trees from sorted values in \(O( N)\) time, 376-388 [Zbl 1278.68083]