Ye Henry Tian

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

2 Ye Henry Tian: Mechanically Verifying Correctness of CPS Compilation. CATS 2006: 41-51

1 Ye Henry Tian: String Concatenation Optimization on Java Bytecode. Software Engineering Research and Practice 2006: 945-951

	2006
2		Ye Henry Tian: Mechanically Verifying Correctness of CPS Compilation. CATS 2006: 41-51
1		Ye Henry Tian: String Concatenation Optimization on Java Bytecode. Software Engineering Research and Practice 2006: 945-951