With the proliferation of computer languages and dialects, it is important to create tools to aid in the construction of source-to-source translators. By allowi
This book treats the problem of formulating models in mathematical programming, and thereafter solving the resulting model. Particular emphasis is placed on the
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EURO
This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on Decemb