Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu. A Formal Model for a Hybrid Programming Language. In David Naumann, editor, Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Volume 8963 of Lecture Notes in Computer Science, pages 125-142, Springer, 2014. [doi]
Abstract is missing.