DEVELOPMENT OF ALGEBRAIC SPECIFICATIONS WITH CONSTRAINTS

被引：0
|
作者：
OREJAS, F
SACRISTAN, V
CLERICI, S
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 393卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：102 / 123
页数：22
相关论文
共 50 条
  • [41] A SORT OF PARAMETRIC POLYMORPHISM FOR ALGEBRAIC SPECIFICATIONS
    KRAMER, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1991, 15 (01) : 33 - 42
  • [42] On algebraic specifications of abstract data types
    Khoussainov, B
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 299 - 313
  • [43] A SIMPLE TRANSFER LEMMA FOR ALGEBRAIC SPECIFICATIONS
    BERGSTRA, JA
    MEYER, JJC
    INFORMATION PROCESSING LETTERS, 1982, 14 (02) : 80 - 85
  • [44] Program Synthesis with Algebraic Library Specifications
    Mariano, Benjamin
    Reese, Josh
    Xu, Siyuan
    Nguyen, ThanhVu
    Qiu, Xiaokang
    Foster, Jeffrey S.
    Solar-Lezama, Armando
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
  • [45] Soundness in verification of algebraic specifications with OBJ
    Wilander, K. O.
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 74 (02): : 112 - 114
  • [46] STRUCTURED ALGEBRAIC SPECIFICATIONS - A KERNEL LANGUAGE
    WIRSING, M
    THEORETICAL COMPUTER SCIENCE, 1986, 42 (02) : 123 - 249
  • [47] AN INFORMAL APPROACH TO FORMAL (ALGEBRAIC) SPECIFICATIONS
    FURTADO, AL
    MAIBAUM, TSE
    COMPUTER JOURNAL, 1985, 28 (01): : 59 - 67
  • [48] Algebraic Specifications for OMA REL Licenses
    Triantafyllou, Nikolaos
    Ouranos, Iakovos
    Stefaneas, Petros
    2009 IEEE INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS, 2009, : 376 - +
  • [49] Automated Flaw Detection in Algebraic Specifications
    Andriy Dunets
    Gerhard Schellhorn
    Wolfgang Reif
    Journal of Automated Reasoning, 2010, 45 : 359 - 395
  • [50] BEHAVIORAL-APPROACHES TO ALGEBRAIC SPECIFICATIONS
    BERNOT, G
    BIDOIT, M
    KNAPIK, T
    ACTA INFORMATICA, 1994, 31 (07) : 651 - 671
12345