Mathematics of program construction. 4th international conference, MPC '98, Marstrand, Sweden, June 15--17, 1998. Proceedings (Q1389772)

The articles of mathematical interest will be reviewed individually. The 2nd conference (1992) has been announced (see Zbl 0875.00136). Indexed articles: \textit{von Karger, Burghard}, A proof rule for control loops, 7-22 [Zbl 0905.03041] \textit{Berghammer, Rudolf; von Karger, Burghard; Wolf, Andreas}, Relation-algebraic derivation of spanning tree algorithms, 23-43 [Zbl 0905.68020] \textit{Bijlsma, A.}, An application of program derivation techniques to 18th-century mathematics, 44-51 [Zbl 0906.11059] \textit{Brunn, Thomas; Möller, Bernhard; Russling, Martin}, Layered graph traversals and Hamiltonian path problems---an algebraic approach, 96-121 [Zbl 0907.05052] \textit{Dijkstra, Rutger M.}, Computation calculus. Bridging a formalization gap, 151-174 [Zbl 0905.03012]