Higher-Order Attribute Semantics of Flat Declarative Languages

In: Computing and Informatics, vol. 29, no. 2

P. Grigorenko - E. Tyugu

Details:

Year, pages: 2010, 251 - 280

Keywords:

Higher-order attribute models, flat languages, attribute semantics of declarative languages, synthesis of programs, domain specific languages

About article:

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.

How to cite:

ISO 690:

Grigorenko, P., Tyugu, E. 2010. Higher-Order Attribute Semantics of Flat Declarative Languages. In Computing and Informatics, vol. 29, no.2, pp. 251-280. 1335-9150.

APA:

Grigorenko, P., Tyugu, E. (2010). Higher-Order Attribute Semantics of Flat Declarative Languages. Computing and Informatics, 29(2), 251-280. 1335-9150.