A New Roadmap on Linking Theories of Programming

He Jifeng

doi:10.1109/TASE.2016.12

A New Roadmap on Linking Theories of Programming

He Jifeng^*

^*Corresponding author for this work

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	2
Number of pages	1
ISBN (Electronic)	9781509017638
DOIs	https://doi.org/10.1109/TASE.2016.12
State	Published - 10 Aug 2016
Event	10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016 - Shanghai, China Duration: 17 Jul 2016 → 19 Jul 2016

Publication series

Name	Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016

Conference

Conference	10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016
Country/Territory	China
City	Shanghai
Period	17/07/16 → 19/07/16

Access to Document

10.1109/TASE.2016.12

Cite this

Jifeng, H. (2016). A New Roadmap on Linking Theories of Programming. In Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016 (pp. 2). Article 7541878 (Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/TASE.2016.12

@inproceedings{ad7b7ea9a9d34519b161d424986565c4,

title = "A New Roadmap on Linking Theories of Programming",

abstract = "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.",

author = "He Jifeng",

note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016 ; Conference date: 17-07-2016 Through 19-07-2016",

year = "2016",

month = aug,

day = "10",

doi = "10.1109/TASE.2016.12",

language = "英语",

series = "Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "2",

booktitle = "Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016",

address = "美国",

}

Jifeng, H 2016, A New Roadmap on Linking Theories of Programming. in Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016., 7541878, Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Institute of Electrical and Electronics Engineers Inc., pp. 2, 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, 17/07/16. https://doi.org/10.1109/TASE.2016.12

A New Roadmap on Linking Theories of Programming. / Jifeng, He.
Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 2 7541878 (Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A New Roadmap on Linking Theories of Programming

AU - Jifeng, He

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 -

Jifeng H. A New Roadmap on Linking Theories of Programming. In Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016. Institute of Electrical and Electronics Engineers Inc. 2016. p. 2. 7541878. (Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016). doi: 10.1109/TASE.2016.12

A New Roadmap on Linking Theories of Programming

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this