Affiliation: | a Department of Computer Software, The University of Aizu, Aizu-Wakamatsu, Fukushima 965, Japan b Department of Computing and Information Sciences, Kansas State University, Manhattan, KS 66506, U.S.A. |
Abstract: | We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific “analysis functions”, such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into typing and binding-time analyses for the language; these are implemented as the type checker and static semantics processor, respectively, in the synthesized compiler. Other analyses can be similarly formalized and implemented. We show a sample language semantics and its synthesized compiler, and we describe the compiler synthesizer that we have developed. |