Stephen A. Edwards, Olivier Tardieu. Efficient code generation from SHIM models. In Mary Jane Irwin, Koen De Bosschere, editors, Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 06), Ottawa, Ontario, Canada, June 14-16, 2006. pages 125-134, ACM, 2006. [doi]
Abstract is missing.