Static analysis of multi-staged programs via unstaging translation

Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta. Static analysis of multi-staged programs via unstaging translation. In Thomas Ball, Mooly Sagiv, editors, Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011. pages 81-92, ACM, 2011. [doi]

Authors

Wontae Choi

This author has not been identified. Look up 'Wontae Choi' in Google

Baris Aktemur

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

Kwangkeun Yi

This author has not been identified. Look up 'Kwangkeun Yi' in Google

Makoto Tatsuta

This author has not been identified. Look up 'Makoto Tatsuta' in Google