A Formal Model for a Hybrid Programming Language

DOI10.1007/978-3-319-14806-9_7zbMath1457.68038OpenAlexW1426342280MaRDI QIDQ2814619

Huibiao Zhu, Qiwen Xu, Longfei Zhu, Jifeng He

Publication date: 22 June 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-319-14806-9_7

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (1)

Unifying theories of time with generalised reactive processes

Uses Software

• Simulink
• Modelica

Cites Work

• Unnamed Item
• Advanced features of duration calculus and their applications in sequential hybrid programs
• Hybrid I/O automata.
• The laws of Occam programming
• From synchronous programs to symbolic representations of hybrid systems
• Logical Analysis of Hybrid Systems
• Theoretical Aspects of Computing - ICTAC 2004
• Languages and Tools for Hybrid Systems Design
• Towards a denotational semantics of timed RSL using duration calculus

This page was built for publication: A Formal Model for a Hybrid Programming Language