A Language for Semantic Analysis
NEW YORK UNIV NY COURANT INST OF MATHEMATICAL SCIENCES
Pagination or Media Count:
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.
- Computer Programming and Software