Pol: specification-driven synthesis of architectural code frameworks for platform-based applications.

Hamid Bagheri, Kevin J. Sullivan

Browse the full GPCE paper archive.