Jian Liu, Jicheng Fu, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Ann T. Tai, Savio N. Chau. Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns. In Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea. pages 109-116, IEEE Computer Society, 2006. [doi]
Abstract is missing.