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 条
  • [1] A Modular Semantics for Higher-Order Declarative Programming with Constraints
    del Vado Virseda, Rafael
    Perez Morente, Fernando
    [J]. PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, : 41 - 51
  • [2] A REDUCTION SEMANTICS FOR IMPERATIVE HIGHER-ORDER LANGUAGES
    FELLEISEN, M
    FRIEDMAN, DP
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 206 - 223
  • [3] Semantics and scoping of aspects in higher-order languages
    Dutchyn, Christopher
    Tucker, David B.
    Krishnamurthi, Shriram
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2006, 63 (03) : 207 - 239
  • [4] 1ST-ORDER SEMANTICS FOR HIGHER-ORDER LANGUAGES
    KASBAUER, M
    [J]. CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA, 1977, 9 (25): : 59 - 71
  • [5] Higher-order logic programming languages with constraints: A semantics
    Lipton, James
    Nieva, Susana
    [J]. TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2007, 4583 : 272 - +
  • [6] A congruence theorem for structured operational semantics of higher-order languages
    Bernstein, KL
    [J]. THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 153 - 164
  • [7] HIGHER-ORDER ATTRIBUTE GRAMMARS
    VOGT, HH
    SWIERSTRA, SD
    KUIPER, MF
    [J]. SIGPLAN NOTICES, 1989, 24 (07): : 131 - 145
  • [8] HIGHER-ORDER ATTRIBUTE GRAMMARS
    SWIERSTRA, D
    VOGT, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 545 : 256 - 296
  • [9] Higher-order semantics and extensionality
    Benzmüller, C
    Brown, CE
    Kohlhase, M
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (04) : 1027 - 1088
  • [10] SEMANTICS OF HIGHER-ORDER RECURSION SCHEMES
    Adamek, Jiri
    Milius, Stefan
    Velebil, Jiri
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (01)
12345