THE SYNTAX DEFINITION FORMALISM SDF - REFERENCE MANUAL

被引：1
作者：
HEERING, J
HENDRIKS, PRH
KLINT, P
REKERS, J
机构：
[1] CTR MATH & COMP SCI,DEPT SOFTWARE TECHNOL,1009 AB AMSTERDAM,NETHERLANDS
[2] UNIV AMSTERDAM,PROGRAMMING RES GRP,1009 DB AMSTERDAM,NETHERLANDS
来源：
SIGPLAN NOTICES | 1989年 / 24卷 / 11期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：43 / 75
页数：33
相关论文
共 50 条
  • [31] AIDS reference manual 1997
    Robertson, A
    JOURNAL OF ADVANCED NURSING, 1998, 28 (01) : 225 - 225
  • [32] Physics Literature: A Reference Manual
    Voigt, Melvin J.
    LIBRARY QUARTERLY, 1955, 25 (04): : 410 - 411
  • [33] The Lawyer's Manual of Reference
    不详
    LAW QUARTERLY REVIEW, 1913, 29 (115): : 364 - 364
  • [34] SYNTAX ON GRAPHS AND EXTENSION BY DEFINITION IN ELEMENTARY TOPOS THEORY
    PRELLER, A
    JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 457 - 458
  • [35] CASL - Reference Manual - Introduction
    不详
    CASL REFERENCE MANUAL: THE COMPLETE DOCUMENTATION OF THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE, 2004, 2960 : 363 - +
  • [36] The Short-Time Multifractal Formalism: Definition and Implement
    Xiong Gang
    Yang Xiaoniu
    Zhao Huichang
    ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS: WITH ASPECTS OF CONTEMPORARY INTELLIGENT COMPUTING TECHNIQUES, 2008, 15 : 541 - +
  • [37] ON THE ADIABATIC DEFINITION OF THE S MATRIX IN THE FORMALISM OF L FUNCTIONALS
    Tyupkin, Yu S.
    THEORETICAL AND MATHEMATICAL PHYSICS, 1973, 16 (02) : 751 - 756
  • [38] IS MATHEMATICS SYNTAX OF LANGUAGE? KURT GODEL'S ARGUMENT AGAINST FORMALISM
    Glowacki, Maciej
    FILOZOFIA NAUKI, 2021, 29 (01): : 43 - 61
  • [39] RIGOROUS DEFINITION OF THE REFERENCE FRAME
    Drivotin, O., I
    VESTNIK SANKT-PETERBURGSKOGO UNIVERSITETA SERIYA 10 PRIKLADNAYA MATEMATIKA INFORMATIKA PROTSESSY UPRAVLENIYA, 2014, 10 (04): : 25 - 36
  • [40] Aspects of the syntax and rhetoric of participant reference in Exodus
    deRegt, LJ
    STUDIES IN THE BOOK OF EXODUS: REDACTION - RECEPTION - INTERPRETATION, 1996, 126 : 515 - 522
12345