Semantic preprocessing

Abstract

Many preprocessor systems exist to transform a program from an augmented language to the particular language expected by a processor. Historically these have been capable of only simple lexical or syntactic substitutions (macro processors). This paper discusses the potential of semantic preprocessing—where the function of a program is “understood” as a basis for transformation—and describes experiments with a prototype system.