In computing science design plays an eminently important role. By now, it is quite clear that the issue of proper design of programs within a formal calculus is

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Han

This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December

The second half of this century will remain as the era of proliferation of electronic computers. They did exist before, but they were mechanical. During next ce

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative and Transformational Techniques in Sof