by TACS 2001 (2001 Sendai-shi, Miyagi-ken, Japan)
This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The T…