TY - GEN
T1 - A New Roadmap on Linking Theories of Programming
AU - Jifeng, He
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2016/8/10
Y1 - 2016/8/10
N2 - Formal methods advocate the crucial role played by the algebra of programs in specification and implementation of programs. Study leads to the conclusion that both the top-down approach (with denotational model as its origin) and the bottom-up approach (a journey started from operational model) can meet in the middle with a program algebra. This paper proposes a new approach on linking theories of programming. Given a program algebra, we construct a test operator taking a test case and the testing program as its arguments. The operator yields a collection of observations of the test outcomes. The denotational model of a program can be derived as a binary relation which relates the test cases with their outcomes. An operational model is considered as consistent if its step relation is consistent with the algebraic semantics.
AB - Formal methods advocate the crucial role played by the algebra of programs in specification and implementation of programs. Study leads to the conclusion that both the top-down approach (with denotational model as its origin) and the bottom-up approach (a journey started from operational model) can meet in the middle with a program algebra. This paper proposes a new approach on linking theories of programming. Given a program algebra, we construct a test operator taking a test case and the testing program as its arguments. The operator yields a collection of observations of the test outcomes. The denotational model of a program can be derived as a binary relation which relates the test cases with their outcomes. An operational model is considered as consistent if its step relation is consistent with the algebraic semantics.
UR - https://www.scopus.com/pages/publications/84988027391
U2 - 10.1109/TASE.2016.12
DO - 10.1109/TASE.2016.12
M3 - 会议稿件
AN - SCOPUS:84988027391
T3 - Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016
SP - 2
BT - Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016
Y2 - 17 July 2016 through 19 July 2016
ER -