Distillation with labelled transition systems

Geoffrey William Hamilton, Neil D. Jones. Distillation with labelled transition systems. In Oleg Kiselyov, Simon Thompson, editors, Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. pages 15-24, ACM, 2012. [doi]

Authors

Geoffrey William Hamilton

This author has not been identified. Look up 'Geoffrey William Hamilton' in Google

Neil D. Jones

This author has not been identified. It may be one of the following persons: Look up 'Neil D. Jones' in Google