The ten papers in this volume were all presented at the first International Conference "The European Emblem," held in Glasgow in August, 1987 under the auspices of the Society for Emblem Studies. The conference included papers discussing most of the major European languages in which emblem books flourished, and the papers selected for the presented volume represent something of the variety and scope of current scholarship in this field. Subjects dealt with include a protoemblematic Latin translation of the Tabula Cebetis, the Emblematum Liber by Andreas Alciat, the earliest...

Static program analysis aims to determine the dynamic behavior of programs without actually executing them. Symbolic analysis is an advanced static program analysis technique that has been successfully applied to memory leak detection, compilation of parallel programs, detection of superfluous bound checks, variable aliases and task deadlocks, and to worst-case execution time analysis. The symbolic analysis information is invaluable for optimizing compilers, code generators, program verification, testing and debugging.
In this book we take a novel algebra-based approach to the symbolic...