A Language for Semantic Analysis
- 1 May 1993
- report
- Published by Defense Technical Information Center (DTIC)
Abstract
Semantic analysis is important for compilers. In the APTS program transformation system, semantics is specified by rules in the language RSL. The semantic rules are interpreted by APTS to generate the semantic information of the program, which is then used by the rewriting engine for program translation. This approach has proved to be convenient and powerful in our construction of a SETL-to-C compiler. In this paper, we discuss the features, applications, implementation strategy, and performance of RSL.Keywords
This publication has 0 references indexed in Scilit: