UTP 2010:
Shanghai,
China
Shengchao Qin (Ed.):
Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings.
Lecture Notes in Computer Science 6445 Springer 2010, ISBN 978-3-642-16689-1
- Ana Cavalcanti, Marie-Claude Gaudel:
Specification Coverage for Testing in Circus.
1-45
- Yifeng Chen, Jeff W. Sanders:
UTP and Sustainability.
46-73
- Jifeng He:
A Probabilistic BPEL-Like Language.
74-100
- Michael J. Banks, Jeremy L. Jacob:
On Modelling User Observations in the UTP.
101-119
- Michael J. Banks, Jeremy L. Jacob:
Unifying Theories of Confidentiality.
120-136
- Andrew Butterfield:
Saoithín: A Theorem Prover for UTP.
137-156
- Xin Chen, Nan Ye, Wenxu Ding:
A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs.
157-171
- Yifeng Chen:
Programmable Verifiers in Imperative Programming.
172-187
- Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
Unifying Theories in Isabelle/HOL.
188-206
- Walter Guttmann:
Unifying Recursion in Partial, Total and General Correctness.
207-225
- Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff:
Halting Still Standing - Programs versus Specifications.
226-233
- Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu:
Promoting Models.
234-252
- Bill Stoddart, Pete Bell:
Probabilistic Choice, Reversibility, Loops, and Miracles.
253-270
- Yongxin Zhao, Xu Wang, Huibiao Zhu:
Towards a Pomset Semantics for a Shared-Variable Parallel Language.
271-285
- Huibiao Zhu, Fan Yang, Jifeng He:
Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language.
286-308
Last update Fri May 25 08:44:12 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page