HIGHER-ORDER ATTRIBUTE SEMANTICS OF FLAT DECLARATIVE LANGUAGES

被引：0
|
作者：
Grigorenko, Pavel [1 ]
Tyugu, Enn [1 ]
机构：
[1] Tallinn Univ Technol, Inst Cybernet, EE-12618 Tallinn, Estonia
来源：
COMPUTING AND INFORMATICS | 2010年 / 29卷 / 02期
关键词：
Higher-order attribute models; flat languages; attribute semantics of declarative languages; synthesis of programs; domain specific languages;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：251 / 280
页数：30
相关论文
共 50 条
  • [31] Game semantics approach to higher-order complexity
    Feree, Hugo
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, 87 : 1 - 15
  • [32] Environmental Bisimulations for Probabilistic Higher-order Languages
    Sangiorgi, Davide
    Vignudelli, Valeria
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2019, 41 (04):
  • [33] QPCF: Higher-Order Languages and Quantum Circuits
    Paolini, Luca
    Piccolo, Mauro
    Zorzi, Margherita
    [J]. JOURNAL OF AUTOMATED REASONING, 2019, 63 (04) : 941 - 966
  • [34] QPCF: Higher-Order Languages and Quantum Circuits
    Luca Paolini
    Mauro Piccolo
    Margherita Zorzi
    [J]. Journal of Automated Reasoning, 2019, 63 : 941 - 966
  • [35] The semantic view of theories and higher-order languages
    Hudetz, Laurenz
    [J]. SYNTHESE, 2019, 196 (03) : 1131 - 1149
  • [36] Graph IRs for Impure Higher-Order Languages
    Bracevac, Oliver
    Wei, Guannan
    Jia, Songlin
    Abeysinghe, Supun
    Jiang, Yuxuan
    Bao, Yuyan
    Rompf, Tiark
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [37] ABSTRACT DEBUGGING OF HIGHER-ORDER IMPERATIVE LANGUAGES
    BOURDONCLE, F
    [J]. SIGPLAN NOTICES, 1993, 28 (06): : 46 - 55
  • [38] Environmental Bisimulations for Probabilistic Higher-Order Languages
    Sangiorgi, Davide
    Vignudelli, Valeria
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (01) : 595 - 607
  • [39] Concolic Testing of Higher-order Functional Languages
    Sagonas, Konstantinos
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (296): : 2 - 2
  • [40] The semantic view of theories and higher-order languages
    Laurenz Hudetz
    [J]. Synthese, 2019, 196 : 1131 - 1149
12345