A Denotational Model for Interrupt-Driven Programs.

Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu

Browse the full ICST paper archive.