This book treats the problem of formulating models in mathematical programming, and thereafter solving the resulting model. Particular emphasis is placed on the

Proceedings

Attribute grammars have shown themselves to be a useful formalism for specifying the syntax and the static semantics of programming languages. They are also use

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