A Language for Semantic Analysis

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1993
Accession Number
ADA453254

Entities

People

  • Jiazhen Cai

Organizations

  • New York University

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Automata
  • Computer Science
  • Computers
  • Conversion
  • Databases
  • Demographic Cohorts
  • Flow Network
  • Grammars
  • High Level Languages
  • Inference Engines
  • Language
  • New York
  • Relational Databases
  • Rule Based Systems
  • Semantics

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science.
  • Database Systems and Applications
  • Irregular Warfare and Special Operations Cyberspace Operations against Adversarial Threats.