×

zbMATH — the first resource for mathematics

From object-orientation to formal methods. Essays in memory of Ole-Johan Dahl. (English) Zbl 1045.68015
Lecture Notes in Computer Science 2635. Berlin: Springer (ISBN 3-540-21366-X/pbk). x, 389 p. (2004).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Owe, Olaf; Krogdahl, Stein; Lyche, Tom, A biography of Ole-Johan Dahl, 1-7 [Zbl 1278.01019]
Owe, Olaf; Krogdahl, Stein; Lyche, Tom, A bibliography of Ole-Johan Dahl, 8-14 [Zbl 1278.01020]
Agha, Gul; Thati, Prasanna, An algebraic theory of actors and its application to a simple object-based language, 26-57 [Zbl 1278.68064]
Goguen, Joseph; Rosu, Grigore, Composing hidden information modules over inclusive institutions, 96-123 [Zbl 1278.68203]
Johnsen, Einar Broch; Owe, Olaf, Object-oriented specification and open distributed systems, 137-164 [Zbl 1278.68067]
Knuth, Donald E.; Ruskey, Frank, Efficient coroutine generation of constrained Gray sequences, 183-208 [Zbl 1278.68352]
Langmaack, Hans, Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding, 209-235 [Zbl 1278.68043]
Sintzoff, Michel, Iterative synthesis of control guards ensuring invariance and inevitability in discrete-decision games, 272-301 [Zbl 1278.68196]
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]
Vaucher, Jean G., Building optimal binary search trees from sorted values in \(O( N)\) time, 376-388 [Zbl 1278.68083]
MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
00B30 Festschriften
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Biographic References:
Dahl, Ole-Johan
PDF BibTeX XML Cite
Full Text: DOI