A linked forest manipulation system semantics rules for an attributed translation grammar for PL/0

Abstract

In this paper a linked forest manipulation system (abbreviated as LFMS) semantics rules is defined for an attributed translation grammar (abbreviated as ATG) for PL/0 defined and discussed by McCluskey [9]. The LFMS reflects the translation achieved by the ATG, which is the generation of the P-codes, used in the original interpreter by Wirth [12].

Keywords:

• Program semantics
• linked forest manipulation system
• attributed translation grammar
• code generation
• PL/0

C.R. Categories:

• D
• D.3
• D.3.1
• F
• F.3
• F.3.2