Higher-Order Attribute Semantics of Flat Declarative Languages

keywords: Higher-order attribute models, flat languages, attribute semantics of declarative languages, synthesis of programs, domain specific languages
A technique is described that provides a convenient instrument for implementation of semantics of simple declarative languages called flat languages. Semantics of a specification is defined in the paper as a set of programs derivable for solvable goals. We introduce higher-order attribute models that include more control information than conventional attribute models and explain the algorithm for dynamic evaluation of attributes on these models. A visual tool CoCoViLa is briefly described as an instrument for implementing attribute semantics of flat languages.
mathematics subject classification 2000: 03B60, 68N19, 68T15, 68T30, break 68T35, 68U20
reference: Vol. 29, 2010, No. 2, pp. 251–280