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 条
  • [11] Designing a requirements specification language for reactive systems (Abstract)
    Leveson, NG
    ZUM '98: THE Z FORMAL SPECIFICATION NOTATION, 1998, 1493 : 135 - 135
  • [12] OBSCURE - A SPECIFICATION LANGUAGE FOR ABSTRACT-DATA-TYPES
    LEHMANN, T
    LOECKX, J
    ACTA INFORMATICA, 1993, 30 (04) : 303 - 350
  • [13] AN EXECUTABLE SPECIFICATION LANGUAGE FOR ABSTRACT DATA-TYPES
    BELKHOUCHE, B
    URBAN, JE
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (04): : 247 - 251
  • [14] Visual syntax-directed editor for the Descartes specification language
    Khwaja, A.A.
    Urban, J.E.
    Software - Practice and Experience, 1997, 27 (06): : 651 - 676
  • [15] A visual syntax-directed editor for the Descartes specification language
    Khwaja, AA
    Urban, JE
    SOFTWARE-PRACTICE & EXPERIENCE, 1997, 27 (06): : 651 - 676
  • [16] ON SYNTAX SPECIFICATION
    SCHMIDT, L
    COMMUNICATIONS OF THE ACM, 1965, 8 (05) : 262 - &
  • [17] DESIGN AND FORMAL SPECIFICATION OF A PARALLEL ABSTRACT MACHINE
    LEE, MKO
    COMPUTING AND INFORMATION, 1989, : 193 - 200
  • [18] A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax
    Herrera, Adolfo Sanchez-Barbudo
    Willink, Edward D.
    Paige, Richard F.
    THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, ICMT 2016, 2016, 9765 : 3 - 18
  • [19] Reflections on the design of a specification language
    Kahrs, S
    Sannella, D
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 154 - 170
  • [20] Requirements engineering: Problem analysis and solution specification - (Extended abstract)
    Wieringa, RJ
    WEB ENGINEERING, PROCEEDINGS, 2004, 3140 : 13 - 16
12345