A pointer logic and certifying compiler - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang. A pointer logic and certifying compiler. Frontiers of Computer Science in China, 1(3):297-312, 2007. [doi]

This author has not been identified. Look up 'Yiyun Chen' in GoogleThis author has not been identified. Look up 'Lin Ge' in GoogleThis author has not been identified. Look up 'Baojian Hua' in GoogleThis author has not been identified. Look up 'Zhaopeng Li' in GoogleThis author has not been identified. Look up 'Cheng Liu' in GoogleThis author has not been identified. Look up 'Zhifang Wang' in Google

runs on WebDSL