Higher-Order Attribute Semantics of Flat Declarative Languages

Authors

  • Pavel Grigorenko
  • Enn Tyugu

Keywords:

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

Abstract

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.

Author Biographies

Pavel Grigorenko

Institute of Cybernetics
Tallinn University of Technology
Akadeemia tee 21
12618 Tallinn, Estonia

Enn Tyugu

Institute of Cybernetics
Tallinn University of Technology
Akadeemia tee 21
12618 Tallinn, Estonia

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