Denotational Approach to an Event-Driven System-Level Language

DOI10.1007/978-3-642-14521-6_15zbMath1286.68037OpenAlexW1649865555MaRDI QIDQ3585036

Jifeng He, Huibiao Zhu, Xiaoqing Peng, Naiyong Jin

Publication date: 31 August 2010

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14521-6_15

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Denotational semantics and its algebraic derivation for an event-driven system-level language

This page was built for publication: Denotational Approach to an Event-Driven System-Level Language