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 条
  • [41] A requirements engineering methodology based on natural language syntax and semantics
    Georgiades, MG
    Andreou, AS
    Pattichis, CS
    13TH IEEE INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2005, : 473 - 474
  • [42] Design pattern specification language: Definition and application
    Shin, W
    Wu, C
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2003, E86D (06) : 1011 - 1023
  • [43] A Language for Biochemical Systems: Design and Formal Specification
    Pedersen, Michael
    Plotkin, Gordon D.
    TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XII, 2010, 5945 : 77 - 145
  • [44] LANGUAGE ISSUES IN THE SPECIFICATION AND DESIGN OF COMPOSITE SYSTEMS
    FEATHER, MS
    SIGPLAN NOTICES, 1989, 24 (04): : 159 - 161
  • [45] A NONRECURSIVE METHOD OF SYNTAX SPECIFICATION
    CARR, JW
    WEILAND, J
    COMMUNICATIONS OF THE ACM, 1966, 9 (04) : 267 - &
  • [46] SYNTAX - SPECIFICATION SYSTEM FOR PATTERNS
    SHARMA, OP
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1973, 295 (01): : 39 - 58
  • [47] APL AS A SOFTWARE-DESIGN SPECIFICATION LANGUAGE
    JONES, WT
    KIRK, SA
    COMPUTER JOURNAL, 1980, 23 (03): : 230 - 232
  • [48] SOME TOPICS IN THE DESIGN OF THE SPECIFICATION LANGUAGE LOTOS
    CARCHIOLO, V
    FARO, A
    MINISSALE, F
    SCOLLO, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 167 : 47 - 58
  • [49] SSIML/AR: A visual language for the abstract specification of Augmented Reality user interfaces
    Vitzthum, Arnd
    IEEE SYMPOSIUM ON 3D USER INTERFACES 2006, PROCEEDINGS, 2006, : 135 - +
  • [50] DESIGN SPECIFICATION AND EVALUATION TOOL FOR DESIGN ENGINEERING AND ITS MANAGEMENT
    Hosnedl, S.
    Dvorak, J.
    Srp, Z.
    Kopecky, M.
    11TH INTERNATIONAL DESIGN CONFERENCE (DESIGN 2010), VOL 1-3, 2010, : 799 - 810
12345