A FORMAL SEMANTICS FOR Z AND THE LINK BETWEEN Z AND THE RELATIONAL ALGEBRA

被引：0
|
作者：
VANDIEPEN, MJ
VANHEE, KM
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 428卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：526 / 551
页数：26
相关论文
共 50 条
  • [1] FACTORIALS AND STIRLING NUMBERS IN THE ALGEBRA OF FORMAL LAURENT SERIES Z(A)-Z(B)=T
    NIEDERHAUSEN, H
    DISCRETE MATHEMATICS, 1994, 132 (1-3) : 197 - 213
  • [2] Towards a formal semantics for an integrated SA/RT & Z specification language
    Scholz, D
    Petersohn, C
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 28 - 37
  • [3] Formal semantics of ciset relational operators
    Nair, Premchand S.
    Sarasamma, Suseela T.
    NAFIPS 2006 - 2006 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, VOLS 1 AND 2, 2006, : 194 - +
  • [4] FORMAL GROUPS WITH PARAMETER ON Z AND Z(P)
    DITTERS, B
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1972, 275 (04): : 251 - &
  • [5] Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
    Gruer, JP
    Hilaire, V
    Koukam, A
    Rovarini, P
    JOURNAL OF SYSTEMS AND SOFTWARE, 2004, 70 (1-2) : 95 - 105
  • [6] A Formal Mapping between Program Slicing and Z Specifications
    Wu, Fangjun
    2009 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY, VOL I, PROCEEDINGS, 2009, : 257 - 261
  • [7] FORMAL SPECIFICATION IN "Z" LANGUAGE BY SOFTWARE Z/EVES
    Svec, J.
    Zahradnik, J.
    ADVANCES IN ELECTRICAL AND ELECTRONIC ENGINEERING, 2006, 5 (01) : 166 - 168
  • [8] A Coq Mechanised Formal Semantics for Realistic SQL Queries Formally Reconciling SQL and Bag Relational Algebra
    Benzaken, Veronique
    Contejean, Evelyne
    PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP' 19), 2019, : 249 - 261
  • [9] A weakest precondition semantics for Z
    Cavalcanti, A
    Woodcock, J
    COMPUTER JOURNAL, 1998, 41 (01): : 1 - 15
  • [10] Z(3)-MATRICES - A Z(3)-GRADED MATRIX ALGEBRA
    LEROY, B
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE II, 1995, 320 (11): : 593 - 598
12345