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 SIMPLE TRANSFER LEMMA FOR ALGEBRAIC SPECIFICATIONS
    BERGSTRA, JA
    MEYER, JJC
    INFORMATION PROCESSING LETTERS, 1982, 14 (02) : 80 - 85
  • [42] 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):
  • [43] Soundness in verification of algebraic specifications with OBJ
    Wilander, K. O.
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 74 (02): : 112 - 114
  • [44] A SORT OF PARAMETRIC POLYMORPHISM FOR ALGEBRAIC SPECIFICATIONS
    KRAMER, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1991, 15 (01) : 33 - 42
  • [45] On algebraic specifications of abstract data types
    Khoussainov, B
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 299 - 313
  • [46] Semantic typing for parametric algebraic specifications
    Cengarle, MV
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 261 - 276
  • [47] Algebraic Framework for Reverse Engineering on Specifications
    Cafezeiro, Isabel
    Haeusler, Edward Hermann
    ADVANCES IN TECHNOLOGICAL APPLICATIONS OF LOGICAL AND INTELLIGENT SYSTEM, 2009, 186 : 1 - 12
  • [48] A PROOF SYSTEM FOR CONDITIONAL ALGEBRAIC SPECIFICATIONS
    KOUNALIS, E
    RUSINOWITCH, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 51 - 63
  • [49] AN INFORMAL APPROACH TO FORMAL (ALGEBRAIC) SPECIFICATIONS
    FURTADO, AL
    MAIBAUM, TSE
    COMPUTER JOURNAL, 1985, 28 (01): : 59 - 67
  • [50] 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 - +
12345