Accession Number:

ADA453254

Title:

A Language for Semantic Analysis

Descriptive Note:

Corporate Author:

NEW YORK UNIV NY COURANT INST OF MATHEMATICAL SCIENCES

Personal Author(s):

Report Date:

1993-05-01

Pagination or Media Count:

23.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE