Modular Compiler Descriptions Based on Abstract Semantic Data Types (Extended Abstract).

Harald Ganzinger

Browse the full ICALP paper archive.