Baojian Hua

	2011
4		Baojian Hua: Static typing for a substructural lambda calculus. Frontiers of Computer Science in China 5(3): 369-380 (2011)
	2008
3		Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua: Automated verification of pointer programs in pointer logic. Frontiers of Computer Science in China 2(4): 380-397 (2008)
	2007
2		Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu: Design of a Certifying Compiler Supporting Proof of Program Safety. TASE 2007: 127-138
1		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)

Coauthor Index

1	Yiyun Chen	[1] [2] [3]
2	Lin Ge	[1] [2]
3	Zhaopeng Li	[1] [2]
4	Cheng Liu	[1] [2]
5	Zhenming Wang	[3]
6	Zhifang Wang	[1] [3]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page