Linking semantic models

He Jifeng

doi:10.1007/978-3-540-75292-9_2

Linking semantic models

He Jifeng^*

^*Corresponding author for this work

Software Engineering Institute

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

Abstract

A theory of programming is intended to help in the construction of programs that provably meet their specifications. It starts with a complete lattice of specifications, used as a domain for the semantics of the programming language. The operators of the language are defined as monotonie functions over this domain. This paper presents a method which enables us to derive an enriched semantics for the imperative languages. We show that the new definition of the primitive commands can be recast as the weakest solution of the embedding equation, and demonstrate how the operators of the programming language are redefined from the homomorphic property of the embedding and the healthiness conditions imposed on "real" programs.

Original language	English
Title of host publication	Theoretical Aspects of Computing - ICTAC 2007- 4th International Colloquium, Proceedings
Publisher	Springer Verlag
Pages	18-33
Number of pages	16
ISBN (Print)	9783540752905
DOIs	https://doi.org/10.1007/978-3-540-75292-9_2
State	Published - 2007
Event	4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 - Macao, China Duration: 26 Sep 2007 → 28 Sep 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4711 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007
Country/Territory	China
City	Macao
Period	26/09/07 → 28/09/07

Access to Document

10.1007/978-3-540-75292-9_2

Cite this

@inproceedings{d1a59167a0824bdbbc2fa99a9f423c91,

title = "Linking semantic models",

abstract = "A theory of programming is intended to help in the construction of programs that provably meet their specifications. It starts with a complete lattice of specifications, used as a domain for the semantics of the programming language. The operators of the language are defined as monotonie functions over this domain. This paper presents a method which enables us to derive an enriched semantics for the imperative languages. We show that the new definition of the primitive commands can be recast as the weakest solution of the embedding equation, and demonstrate how the operators of the programming language are redefined from the homomorphic property of the embedding and the healthiness conditions imposed on {"}real{"} programs.",

author = "He Jifeng",

year = "2007",

doi = "10.1007/978-3-540-75292-9\_2",

language = "英语",

isbn = "9783540752905",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "18--33",

booktitle = "Theoretical Aspects of Computing - ICTAC 2007- 4th International Colloquium, Proceedings",

address = "德国",

note = "4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ; Conference date: 26-09-2007 Through 28-09-2007",

}

Jifeng, H 2007, Linking semantic models. in Theoretical Aspects of Computing - ICTAC 2007- 4th International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4711 LNCS, Springer Verlag, pp. 18-33, 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007, Macao, China, 26/09/07. https://doi.org/10.1007/978-3-540-75292-9_2

Linking semantic models. / Jifeng, He.
Theoretical Aspects of Computing - ICTAC 2007- 4th International Colloquium, Proceedings. Springer Verlag, 2007. p. 18-33 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4711 LNCS).

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

TY - GEN

T1 - Linking semantic models

AU - Jifeng, He

PY - 2007

Y1 - 2007

N2 - A theory of programming is intended to help in the construction of programs that provably meet their specifications. It starts with a complete lattice of specifications, used as a domain for the semantics of the programming language. The operators of the language are defined as monotonie functions over this domain. This paper presents a method which enables us to derive an enriched semantics for the imperative languages. We show that the new definition of the primitive commands can be recast as the weakest solution of the embedding equation, and demonstrate how the operators of the programming language are redefined from the homomorphic property of the embedding and the healthiness conditions imposed on "real" programs.

AB - A theory of programming is intended to help in the construction of programs that provably meet their specifications. It starts with a complete lattice of specifications, used as a domain for the semantics of the programming language. The operators of the language are defined as monotonie functions over this domain. This paper presents a method which enables us to derive an enriched semantics for the imperative languages. We show that the new definition of the primitive commands can be recast as the weakest solution of the embedding equation, and demonstrate how the operators of the programming language are redefined from the homomorphic property of the embedding and the healthiness conditions imposed on "real" programs.

UR - https://www.scopus.com/pages/publications/38049151289

U2 - 10.1007/978-3-540-75292-9_2

DO - 10.1007/978-3-540-75292-9_2

M3 - 会议稿件

AN - SCOPUS:38049151289

SN - 9783540752905

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 18

EP - 33

BT - Theoretical Aspects of Computing - ICTAC 2007- 4th International Colloquium, Proceedings

PB - Springer Verlag

T2 - 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007

Y2 - 26 September 2007 through 28 September 2007

ER -

Linking semantic models

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this