Mathematics of program construction. 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3--5, 2000. Proceedings (Q1572700)

The articles of mathematical interest will be reviewed individually. The preceding conference (4th, 1998) has been indicated (see Zbl 0891.00027). Indexed articles: \textit{Hinze, Ralf}, Polytypic values possess polykinded types, 2-27 [Zbl 0963.68035] \textit{Tullsen, Mark}, The zip calculus, 28-44 [Zbl 0963.68038] \textit{Cohen, Ernie}, Separation and reduction, 45-59 [Zbl 0963.68504] \textit{Hayes, Ian}, Reasoning about non-terminating loops using deadline commands, 60-79 [Zbl 0963.68503] \textit{Sanders, J. W.; Zuliani, P.}, Quantum programming, 80-99 [Zbl 0963.68037] \textit{Bornat, Richard}, Proving pointer programs in Hoare logic, 102-126 [Zbl 0963.68036] \textit{Sekerinski, Emil}, On guarded commands with fair choice, 127-139 [Zbl 0963.68034] \textit{Jones, Cliff B.}, Formal methods and dependability. (Extended abstract), 140-143 [Zbl 0963.68604] \textit{Boiten, Eerke; Derrick, John}, Liberating data refinement, 144-166 [Zbl 0963.68140] \textit{Charpentier, Michel; Chandy, K. Mani}, Theorems about composition, 167-186 [Zbl 0963.68039] \textit{Abramov, Sergei; Glück, Robert}, The universal resolving algorithm: Inverse computation in a functional language, 187-212 [Zbl 0963.68500] \textit{Harrison, William L.; Kamin, Samuel N.}, Metacomputation-based compiler architecture, 213-229 [Zbl 0963.68501] \textit{Pitts, Andrew M.; Gabbay, Murdoch J.}, A metalanguage for programming with bound names modulo renaming, 230-255 [Zbl 0963.68502]