Corp oration Abstract. Forwar ding is a tec hnique for pro viding default attribute definitions in attribute grammars that is helpful in the mo dular implementation of programming languages. It complemen ts existing tec hniques suc h as default cop y rules. This pap er in tro duces forw arding, and sho ws ho w it is but a small extension of standard higher-order attribute grammars. The usual to ols for manipulating higher-order attribute grammars, including the circularit y che
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.