Semantics of Programming Languages: A Tool-Oriented Approach
arXiv:cs/9911001
Abstract
By paying more attention to semantics-based tool generation, programming language semantics can significantly increase its impact. Ultimately, this may lead to ``Language Design Assistants'' incorporating substantial amounts of semantic knowledge.
12 pages, 2 figures. Submitted to ACM SIGPLAN Notices