TY - GEN
T1 - Generating denotational semantics from algebraic semantics for event-driven system-level language
AU - Zhu, Huibiao
AU - Yang, Fan
AU - He, Jifeng
PY - 2010
Y1 - 2010
N2 - As a system-level modelling language, SystemC possesses several novel features such as delayed notifications, notification cancelling, notification overriding and delta-cycle. We have explored the denotational semantics [15] for SystemC using Unifying Theories of Programming (abbreviated as UTP) [6], where algebraic laws can be achieved based on the denotational model. In this paper, we consider the inverse work; i.e., generating the denotational semantics from algebraic semantics for SystemC. A complete set of algebraic laws is explored.The concept of head normal from is applied in supporting the calculation. We also explore the simulation of algebraic laws and head normal form. Based on this, the mechanical derivation of denotational semantics from algebraic semantics is also studied.
AB - As a system-level modelling language, SystemC possesses several novel features such as delayed notifications, notification cancelling, notification overriding and delta-cycle. We have explored the denotational semantics [15] for SystemC using Unifying Theories of Programming (abbreviated as UTP) [6], where algebraic laws can be achieved based on the denotational model. In this paper, we consider the inverse work; i.e., generating the denotational semantics from algebraic semantics for SystemC. A complete set of algebraic laws is explored.The concept of head normal from is applied in supporting the calculation. We also explore the simulation of algebraic laws and head normal form. Based on this, the mechanical derivation of denotational semantics from algebraic semantics is also studied.
UR - https://www.scopus.com/pages/publications/78649611575
U2 - 10.1007/978-3-642-16690-7_15
DO - 10.1007/978-3-642-16690-7_15
M3 - 会议稿件
AN - SCOPUS:78649611575
SN - 364216689X
SN - 9783642166891
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 286
EP - 308
BT - Unifying Theories of Programming - Third International Symposium, UTP 2010, Proceedings
T2 - 3rd International Symposium on Unifying Theories of Programming, UTP 2010
Y2 - 15 November 2010 through 16 November 2010
ER -