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 languagesAbstract
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.Downloads
Download data is not yet available.
Downloads
Published
2012-01-26
How to Cite
Grigorenko, P., & Tyugu, E. (2012). Higher-Order Attribute Semantics of Flat Declarative Languages. Computing and Informatics, 29(2), 251–280. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/83
Issue
Section
Articles