Backhouse, Roland (ed.); Nuno Oliveira, José (ed.) Mathematics of program construction. 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3–5, 2000. Proceedings. (English) Zbl 0941.00030 Lecture Notes in Computer Science. 1837. Berlin: Springer. ix, 257 p. (2000). Show indexed articles as search result. The articles of mathematical interest will be reviewed individually. The preceding conference (4th, 1998) has been indicated (see Zbl 0891.00027).Indexed articles:Hinze, Ralf, Polytypic values possess polykinded types, 2-27 [Zbl 0963.68035]Tullsen, Mark, The zip calculus, 28-44 [Zbl 0963.68038]Cohen, Ernie, Separation and reduction, 45-59 [Zbl 0963.68504]Hayes, Ian, Reasoning about non-terminating loops using deadline commands, 60-79 [Zbl 0963.68503]Sanders, J. W.; Zuliani, P., Quantum programming, 80-99 [Zbl 0963.68037]Bornat, Richard, Proving pointer programs in Hoare logic, 102-126 [Zbl 0963.68036]Sekerinski, Emil, On guarded commands with fair choice, 127-139 [Zbl 0963.68034]Jones, Cliff B., Formal methods and dependability. (Extended abstract), 140-143 [Zbl 0963.68604]Boiten, Eerke; Derrick, John, Liberating data refinement, 144-166 [Zbl 0963.68140]Charpentier, Michel; Chandy, K. Mani, Theorems about composition, 167-186 [Zbl 0963.68039]Abramov, Sergei; Glück, Robert, The universal resolving algorithm: Inverse computation in a functional language, 187-212 [Zbl 0963.68500]Harrison, William L.; Kamin, Samuel N., Metacomputation-based compiler architecture, 213-229 [Zbl 0963.68501]Pitts, Andrew M.; Gabbay, Murdoch J., A metalanguage for programming with bound names modulo renaming, 230-255 [Zbl 0963.68502] Cited in 2 Reviews MSC: 00B25 Proceedings of conferences of miscellaneous specific interest 68-06 Proceedings, conferences, collections, etc. pertaining to computer science Keywords:Ponte de Lima (Portugal); Proceedings; Conference; MPC 2000; Program construction Citations:Zbl 0891.00027 Software:Polyp PDFBibTeX XMLCite \textit{R. Backhouse} (ed.) and \textit{J. Nuno Oliveira} (ed.), Mathematics of program construction. 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3--5, 2000. Proceedings. Berlin: Springer (2000; Zbl 0941.00030)