STRUCTURED ALGEBRAIC SPECIFICATIONS - A KERNEL LANGUAGE

被引：46
|
作者：
WIRSING, M
机构：
[1] Univ Passau, Passau, West Ger, Univ Passau, Passau, West Ger
来源：
THEORETICAL COMPUTER SCIENCE | 1986年 / 42卷 / 02期
关键词：
D O I：
10.1016/0304-3975(86)90051-4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
112
引用
收藏
页码：123 / 249
页数：127
相关论文
共 50 条
  • [41] Visual construction of algebraic specifications
    Neary, DS
    Woodward, MR
    2000 IEEE INTERNATIONAL SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 2000, : 79 - 80
  • [42] Language specifications
    Brumar, Cristina Ioana
    Popa, Emil Marin
    3RD INT CONF ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS, AND APPLICAT/4TH INT CONF ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 3, 2006, : 170 - +
  • [43] PARALLEL SYSTEMS SPECIFICATIONS WITH COLORED PETRI NETS AND ALGEBRAIC SPECIFICATIONS
    VAUTHERIN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 266 : 293 - 308
  • [44] CONCURRENT REFINEMENT OF STRUCTURED OBJECTS - A LANGUAGE FOR DISTRIBUTED KNOWLEDGE PROGRAMMING USING SPECIFICATIONS AND ANNOTATIONS
    BARBUCEANU, M
    TRAUSANMATU, S
    MOLNAR, B
    RESEARCH AND DEVELOPMENT IN EXPERT SYSTEMS VI, 1989, : 235 - 239
  • [45] On the existence of translations of structured specifications
    Diaconescu, Razvan
    INFORMATION PROCESSING LETTERS, 2015, 115 (01) : 15 - 22
  • [46] Categorical foundations for structured specifications in
    Castro, Pablo F.
    Aguirre, Nazareno
    Pombo, Carlos L.
    Maibaum, T. S. E.
    FORMAL ASPECTS OF COMPUTING, 2015, 27 (5-6) : 831 - 865
  • [47] Parameterisation for abstract structured specifications
    Tutu, Lonut
    THEORETICAL COMPUTER SCIENCE, 2014, 517 : 102 - 142
  • [48] Logical systems for structured specifications
    Borzyszkowski, T
    THEORETICAL COMPUTER SCIENCE, 2002, 286 (02) : 197 - 245
  • [49] ALGEBRAIC AND OPERATIONAL SEMANTICS OF POSITIVE NEGATIVE CONDITIONAL ALGEBRAIC SPECIFICATIONS
    KAPLAN, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 338 : 419 - 434
  • [50] On algebraic specifications of abstract data types
    Khoussainov, B
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 299 - 313
12345