DESIGN OF A SPECIFICATION LANGUAGE BY ABSTRACT SYNTAX ENGINEERING

被引：0
|
作者：
BAETEN, JCM
BERGSTRA, JA
机构：
[1] UNIV AMSTERDAM, PROGRAMMING RES GRP, 1009 DB AMSTERDAM, NETHERLANDS
[2] STATE UNIV UTRECHT, DEPT PHILOSOPHY, 3584 CS UTRECHT, NETHERLANDS
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 490卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we design a specification language in an entirely algebraic style. We describe the language in terms of abstract syntax only. We argue that this is the correct approach in language design.
引用
收藏
页码：363 / 394
页数：32
相关论文
共 50 条
  • [1] The Zephyr Abstract Syntax Description Language
    Wang, DC
    Appel, AW
    Kern, JL
    Serra, CS
    PROCEEDINGS OF THE CONFERENCE ON DOMAIN-SPECIFIC LANGUAGES, 1997, : 213 - 227
  • [2] ABSTRACT PRESCRIPTION OF FORMAL LANGUAGE SYNTAX
    MEITUS, VY
    DOKLADY AKADEMII NAUK SSSR, 1974, 216 (02): : 261 - 263
  • [3] LANGUAGE CONVERSION BASED ON ABSTRACT SYNTAX.
    Diel, H.
    Grunefeld, K.
    Menzel, P.
    1639, (15):
  • [4] ASTLOG: A language for examining abstract syntax trees
    Crew, RF
    PROCEEDINGS OF THE CONFERENCE ON DOMAIN-SPECIFIC LANGUAGES, 1997, : 229 - 242
  • [5] Abstract syntax driven approach for language composition
    Chodarev, Sergej
    Lakatos, Dominik
    Porubaen, Jaroslav
    Kollar, Jan
    OPEN COMPUTER SCIENCE, 2014, 4 (03) : 107 - 117
  • [6] An Abstract Specification Language for Static Program Analysis
    Vistein, Michael
    Ortmeier, Frank
    Reif, Wolfgang
    Huuck, Ralf
    Fehnker, Ansgar
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 254 : 181 - 197
  • [7] Student Research Abstract: On Language-Agnostic Abstract-Syntax Trees
    Curtis, Jacob
    37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2022, : 1619 - 1622
  • [8] ABSTRACT LANGUAGE DESIGN
    BRADLEY, L
    THEORETICAL COMPUTER SCIENCE, 1990, 77 (1-2) : 5 - 26
  • [9] A Domain-Specific Language for Abstract Syntax Model to Concrete Syntax Model Mappings
    Quesada, Luis
    Berzal, Fernando
    Cubero, Juan-Carlos
    PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, : 158 - 165
  • [10] Feature Grouping using the Abstract Behavioral Specification Language
    Mauliadi, Reza
    Azurat, Ade
    Muschevici, Radu
    Setyautami, Maya R. A.
    2017 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE AND INFORMATION SYSTEMS (ICACSIS), 2017, : 483 - 488
12345