@inproceedings{ec307f29c5e2471ab1be0ddb09e05b6b,
title = "A formal model for a hybrid programming language",
abstract = "A cyber-physical system (CPS) is an interactive system of continuous plants and real-time controller programs. These systems usually feature a tight relationship between the physical and computational components and exhibit strict true-concurrency with respect to time. These communication and concurrency issues have been well investigated in event-based synchronous languages but only for discrete systems. In this paper, we present an imperative-style programming language for CPS and explore an observation-oriented denotational semantics for the language. Furthermore, a set of algebraic laws that could facilitate the transformation of programs are investigated and consistency of the algebraic laws can be ensured with respect to the denotational semantics. The algebraic laws which have been established in the framework of our semantic model could greatly enhance the reliability of algebraic transformation.",
author = "Longfei Zhu and Qiwen Xu and Jifeng He and Huibiao Zhu",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015; 5th International Symposium on Unifying Theories of Programming, UTP 2014 ; Conference date: 13-05-2014 Through 13-05-2014",
year = "2015",
doi = "10.1007/978-3-319-14806-9\_7",
language = "英语",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "125--142",
editor = "David Naumann",
booktitle = "Unifying Theories of Programming - 5th International Symposium, UTP 2014, Revised Selected Papers",
address = "德国",
}