摘要: This paper introduces the semantics of a wide spectrum language with rich compositional structure that is able to represent both temporal specifications and sequential programs. A key feature ability partial correctness annotations expressed in logic. refinement relation presented enables steps make use these assertions. It argued by means an example approach allows for more flexible reasoning using than previous approaches, added flexibility has significant value program optimization.
springer.com
sci-hub.st 参考文章(17)
Ralph-Johan Back, Joakim von Wright, Ralph-Johan Back, Joakim von Wright, The Refinement Calculus Hierarchy Refinement Calculus. pp. 203- 212 ,(1998) , 10.1007/978-1-4612-1674-2_12
Mark Utting, Colin Fidge, A real-time refinement calculus that changes only time British Computer Society Learning & Development. ,(1996) , 10.14236/EWIC/RW1996.14
Mark Utting, Colin Fidge, Refinement of infeasible real-time programs formal methods. pp. 243- 262 ,(1997)
Klaus Havelund, Kim Guldstrand Larsen, A refinement logic for the Fork Calculus PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV. pp. 5- 20 ,(1995) , 10.1007/978-0-387-34867-4_1
Ralph-Johan J. Back, D. Gries, F. B. Schneider, Refinement Calculus: A Systematic Introduction ,(1998)
Ron van der Meyden, Yoram Moses, Kai Engelhardt, Knowledge and the logic of local propositions theoretical aspects of rationality and knowledge. pp. 29- 41 ,(1998)
Ron van der Meyden, Yoram Moses, Top-Down Considerations on Distributed Computing international symposium on distributed computing. pp. 16- 19 ,(1998) , 10.1007/BFB0056469
Carroll Morgan, Programming from specifications Prentice-Hall, Inc.. ,(1990)
Kai Engelhardt, Ron van der Meyden, Yoram Moses, A Program Refinement Framework Supporting Reasoning about Knowledge and Time foundations of software science and computation structure. pp. 114- 129 ,(2000) , 10.1007/3-540-46432-8_8
Yoram Moses, Orit Kislev, Knowledge-oriented programming Proceedings of the twelfth annual ACM symposium on Principles of distributed computing - PODC '93. pp. 261- 270 ,(1993) , 10.1145/164051.164080