Theoretical Aspects of Computer Software International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings
This volume gives the proceedings of TACS '91, which focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems.