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
The generic term "graph-grammars" refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars o
This book treats the problem of formulating models in mathematical programming, and thereafter solving the resulting model. Particular emphasis is placed on the
This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96,