An Approach to the Derivation of Compiler Descrition Concepts from the Mathematical Semantics Concept.

Harald Ganzinger

Browse the full GI paper archive.