A KERNEL LANGUAGE FOR ALGEBRAIC SPECIFICATION AND IMPLEMENTATION

被引：0
|
作者：
SANNELLA, D [1 ]
WIRSING, M [1 ]
机构：
[1] UNIV PASSAU,FAK INFORMAT,PASSAU,FED REP GER
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1983年 / 158卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：413 / 427
页数：15
相关论文
共 50 条
  • [1] EFFICIENT IMPLEMENTATION OF AN ALGEBRAIC SPECIFICATION LANGUAGE
    KLAEREN, H
    INDERMARK, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 394 : 69 - 90
  • [2] EFFICIENT IMPLEMENTATION OF AN ALGEBRAIC SPECIFICATION LANGUAGE
    KLAEREN, H
    INDERMARK, K
    ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS, 1989, 394 : 69 - 90
  • [3] PROCEDURAL IMPLEMENTATION OF ALGEBRAIC SPECIFICATION
    LIN, HM
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (05): : 876 - 895
  • [4] CASL:: the Common Algebraic Specification Language
    Astesiano, E
    Bidoit, M
    Kirchner, H
    Krieg-Brückner, B
    Mosses, PD
    Sannella, D
    Tarlecki, A
    THEORETICAL COMPUTER SCIENCE, 2002, 286 (02) : 153 - 196
  • [5] THE ALGEBRAIC DATA TYPE SPECIFICATION LANGUAGE
    DUPONCHEEL, L
    HEYMAN, J
    VANPUYMBROECK, W
    LEWI, J
    VANHOREBEEK, I
    MICROPROCESSING AND MICROPROGRAMMING, 1987, 21 (1-5): : 231 - 240
  • [6] STRUCTURED ALGEBRAIC SPECIFICATIONS - A KERNEL LANGUAGE
    WIRSING, M
    THEORETICAL COMPUTER SCIENCE, 1986, 42 (02) : 123 - 249
  • [7] GSBL - AN ALGEBRAIC SPECIFICATION LANGUAGE BASED ON INHERITANCE
    CLERICI, S
    OREJAS, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 322 : 78 - 92
  • [8] SOFIA: An Algebraic Specification Language for Developing Services
    Liu, Dongmei
    Zhu, Hong
    Bayley, Ian
    2014 IEEE 8TH INTERNATIONAL SYMPOSIUM ON SERVICE ORIENTED SYSTEM ENGINEERING (SOSE), 2014, : 70 - 75
  • [9] LANGUAGE ISSUES IN THE IMPLEMENTATION OF A KERNEL
    NATARAJAN, N
    SINHA, MK
    SOFTWARE-PRACTICE & EXPERIENCE, 1979, 9 (09): : 771 - 778
  • [10] A NOTION OF IMPLEMENTATION FOR THE SPECIFICATION LANGUAGE OBSCURE
    LEHMANN, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 534 : 141 - 165
12345