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
关键词
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 条
  • [31] Specification of grid workflow applications with AGWL: An Abstract Grid Workflow Language
    Fahringer, T
    Qin, J
    Hainzer, S
    2005 IEEE INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, VOLS 1 AND 2, 2005, : 676 - 685
  • [32] AsmLSec: An extension of abstract state machine language for attack scenario specification
    Raihan, Mohammad
    Zulkernine, Mohammad
    ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2007, : 775 - +
  • [33] THE OBJECT-BASED SPECIFICATION LANGUAGE-II - CONCEPTS, SYNTAX, AND SEMANTICS
    GABRIEL, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 254 - 270
  • [34] ASDL - AN OBJECT-ORIENTED SPECIFICATION LANGUAGE FOR SYNTAX-DIRECTED ENVIRONMENTS
    CHRISTNEUMANN, ML
    SCHMIDT, HW
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 71 - 79
  • [35] The emerging grammar of nouns in a first generation sign language Specification, iconicity, and syntax
    Haviland, John B.
    GESTURE, 2013, 13 (03) : 309 - 353
  • [36] Engineering design performance (Extended abstract)
    Ermolayev, Vadim
    Matzke, Wolf-Ekkehard
    Sohnius, Richard
    INFORMATION SYSTEMS AND E-BUSINESS TECHNOLOGIES, 2008, 5 : 108 - +
  • [37] AN INTRODUCTION TO PROTOCOL ENGINEERING USING THE SPECIFICATION AND DESCRIPTION LANGUAGE
    DELAPEYRE, JF
    BT TECHNOLOGY JOURNAL, 1993, 11 (04): : 7 - 8
  • [38] Multi-language Webshell Detection based on Abstract Syntax Tree and TreeLSTM
    Shang, Mengchuan
    Han, Xueying
    Zhao, Changzhi
    Cui, Zelin
    Du, Dan
    Jiang, Bo
    PROCEEDINGS OF THE 2024 27 TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, CSCWD 2024, 2024, : 377 - 382
  • [39] Cross-language clone detection by learning over abstract syntax trees
    Perez, Daniel
    Chiba, Shigeru
    IEEE International Working Conference on Mining Software Repositories, 2019, 2019-May : 518 - 528
  • [40] Reverse Engineering of Source Code to Sequence Diagram Using Abstract Syntax Tree
    Fauzil, Esa
    Hendradjaya, Bayu
    Sunindyo, Wikan Danar
    PROCEEDINGS OF 2016 INTERNATIONAL CONFERENCE ON DATA AND SOFTWARE ENGINEERING (ICODSE), 2016,