Sarah Thompson, Alan Mycroft. Bit-level partial evaluation of synchronous circuits. In John Hatcliff, Frank Tip, editors, Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006. pages 29-37, ACM, 2006. [doi]
Abstract is missing.