Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15--16, 2010. Proceedings (Q604197)

The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1194.68017). Indexed articles: \textit{Cavalcanti, Ana; Gaudel, Marie-Claude}, Specification coverage for testing in Circus, 1-45 [Zbl 1309.68040] \textit{Chen, Yifeng; Sanders, Jeff W.}, UTP and sustainability, 46-73 [Zbl 1309.68043] \textit{Jifeng, He}, A probabilistic BPEL-like language, 74-100 [Zbl 1309.68049] \textit{Banks, Michael J.; Jacob, Jeremy L.}, On modelling user observations in the UTP, 101-119 [Zbl 1309.68036] \textit{Banks, Michael J.; Jacob, Jeremy L.}, Unifying theories of confidentiality, 120-136 [Zbl 1309.68037] \textit{Butterfield, Andrew}, Saoithín: a theorem prover for UTP, 137-156 [Zbl 1309.68039] \textit{Chen, Xin; Ye, Nan; Ding, Wenxu}, A formal approach to analyzing interference problems in aspect-oriented designs, 157-171 [Zbl 1309.68041] \textit{Chen, Yifeng}, Programmable verifiers in imperative programming, 172-187 [Zbl 1309.68042] \textit{Feliachi, Abderrahmane; Gaudel, Marie-Claude; Wolff, Burkhart}, Unifying theories in Isabelle/HOL, 188-206 [Zbl 1309.68045] \textit{Guttmann, Walter}, Unifying recursion in partial, total and general correctness, 207-225 [Zbl 1309.68046] \textit{Huizing, Cornelis; Kuiper, Ruurd; Verhoeff, Tom}, Halting still standing -- programs versus specifications, 226-233 [Zbl 1309.68048] \textit{Li, Qin; Zhao, Yongxin; Wu, Xiaofeng; Liu, Si}, Promoting models, 234-252 [Zbl 1309.68050] \textit{Stoddart, Bill; Bell, Pete}, Probabilistic choice, reversibility, loops, and miracles, 253-270 [Zbl 1309.68053] \textit{Zhao, Yongxin; Wang, Xu; Zhu, Huibiao}, Towards a pomset semantics for a shared-variable parallel language, 271-285 [Zbl 1309.68054] \textit{Zhu, Huibiao; Yang, Fan; He, Jifeng}, Generating denotational semantics from algebraic semantics for event-driven system-level language, 286-308 [Zbl 1309.68025]