Generating denotational semantics from algebraic semantics for event-driven system-level language

Authors:
Huibiao Zhu;Fan Yang;Jifeng He
Affiliations:
Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, China;Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, China;Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, China
Venue:
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Year:
2010

Citing 5
Cited 0

Laws of programming

Communications of the ACM
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
The simulation semantics of systemC

Proceedings of the conference on Design, automation and test in Europe
An Operational Semantics of an Event-Driven System-Level Simulator

SEW '06 Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop
Denotational approach to an event-driven system-level language

UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.