Separate compilation for synchronous modules (2005)

by Jia Zeng, Stephen A Edwards
Venue:In Proceedings of the 2nd International Conference on Embedded Software and Systems (ICESS