Mathematics of program construction. 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12--14, 2004. Proceedings. (Q704826)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0993.00042). Indexed articles: \textit{Nelson, Greg}, Extended static checking for Java, 1 [Zbl 1106.68330] \textit{Abbott, Michael; Altenkirch, Thorsten; Ghani, Neil; McBride, Conor}, Constructing polymorphic programs with quotient types, 2-15 [Zbl 1106.68335] \textit{Alimarine, Artem; Smetsers, Sjaak}, Optimizing generic functions, 16-31 [Zbl 1106.68336] \textit{Atanassow, Frank; Jeuring, Johan}, Inferring type isomorphisms generically, 32-53 [Zbl 1106.68337] \textit{Barnett, Mike; Naumann, David A.}, Friends need a bit more: Maintaining invariants over shared state, 54-84 [Zbl 1106.68338] \textit{Danielsson, Nils Anders; Jansson, Patrik}, Chasing bottoms. A case study in program verification in the presence of partial and infinite values., 85-109 [Zbl 1106.68339] \textit{Fernandes, Therrezinha; Desharnais, Jules}, Describing gen/kill static analysis techniques with Kleene algebra, 110-128 [Zbl 1106.68340] \textit{Furusawa, Hitoshi}, A free construction of Kleene algebras with tests, 129-141 [Zbl 1106.68021] \textit{Gibbons, Jeremy}, Streaming representation-changers, 142-168 [Zbl 1106.68331] \textit{Hehner, Eric C. R.}, Probabilistic predicative programming, 169-185 [Zbl 1106.68341] \textit{Hinze, Ralf}, An algebra of scans, 186-210 [Zbl 1106.68022] \textit{Hutton, Graham; Wright, Joel}, Compiling exceptions correctly, 211-227 [Zbl 1106.68342] \textit{Martin, Clare E.; Curtis, Sharon A.; Rewitzky, Ingrid}, Modelling nondeterminism, 228-251 [Zbl 1106.68343] \textit{Möller, Bernhard}, Lazy Kleene algebra, 252-273 [Zbl 1106.68065] \textit{Morris, Joseph M.}, Augmenting types with unbounded demonic and angelic nondeterminacy, 274-288 [Zbl 1106.68344] \textit{Mu, Shin-Cheng; Hu, Zhenjiang; Takeichi, Masato}, An injective language for reversible computation, 289-313 [Zbl 1106.68345] \textit{Norell, Ulf; Jansson, Patrik}, Prototyping generic programming in Template Haskell, 314-333 [Zbl 1106.68332] \textit{Fonseca de Oliveira, José Nuno; Pereira Cunha Rodrigues, César de Jesus}, Transposing relations: From maybe functions to hash tables, 334-356 [Zbl 1106.68020] \textit{Schieder, Birgit}, Pointer theory and weakest preconditions without addresses and heap, 357-380 [Zbl 1106.68346] \textit{Tang, Xinbei; Woodcock, Jim}, Travelling processes, 381-399 [Zbl 1106.68347]