Ye Henry Tian

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006

2 EE 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	EE	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