PROGRAMMING LANGUAGE FORMAL-2 AND ITS IMPLEMENTATION

被引：0
|
作者：
AMAMIYA, M [1 ]
TAKEUCHI, I [1 ]
OKUNO, H [1 ]
NOSHITA, K [1 ]
机构：
[1] NIPPON TELEG & TEL PUBL CORP,ELECT COMMUN LAB,RES DIV,1ST RES SECT,MUSASHINO,JAPAN
来源：
REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES | 1974年 / 22卷 / 11-1期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：1084 / 1096
页数：13
相关论文
共 50 条
  • [1] THE PROGRAMMING LANGUAGE MINO AND ITS FORMAL DEFINITION
    COOKE, DJ
    ALNOUFALY, MHJ
    SIGPLAN NOTICES, 1984, 19 (02): : 47 - 57
  • [2] PROGRAMMING LANGUAGE PEARL AND ITS IMPLEMENTATION
    PELZ, K
    COMPUTER PHYSICS COMMUNICATIONS, 1978, 15 (05) : 317 - 324
  • [3] A MODULA-2-LIKE SYSTEMS PROGRAMMING LANGUAGE AND ITS IMPLEMENTATION
    MIRANDA, J
    FORTES, J
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 625 - 634
  • [4] CRYPTOGRAPHIC EXTENSION AND ITS IMPLEMENTATION FOR RUSSIAN PROGRAMMING LANGUAGE
    Agibalov, G. P.
    Lipsky, V. B.
    Pankratova, I. A.
    PRIKLADNAYA DISKRETNAYA MATEMATIKA, 2013, 21 (03): : 93 - +
  • [5] A RELATIONAL PROGRAMMING LANGUAGE AND ITS IMPLEMENTATION ON A SEQUENTIAL COMPUTER
    KLESHCHEV, AS
    PROGRAMMING AND COMPUTER SOFTWARE, 1981, 7 (06) : 324 - 330
  • [6] Formal verification of a programming logic for a distributed programming language
    Zhang, C
    Olsson, RA
    Levitt, KN
    THEORETICAL COMPUTER SCIENCE, 1999, 216 (1-2) : 213 - 235
  • [7] Formal definition of programming language standards
    Pronk, C
    Schönhacker, M
    ACM SIGPLAN NOTICES, 2003, 38 (08) : 20 - 21
  • [8] An Implementation of Axml(T): An Answer Set Programming Based Formal Language of Authorisation for XML Documents
    Policarpio, Sean
    Bai, Yun
    RECENT TRENDS IN WIRELESS AND MOBILE NETWORKS, 2011, 162 : 378 - 387
  • [9] An implementation of the impala programming language
    Wang, DR
    Kiong, DBK
    Lian, B
    1996 IEEE SECOND INTERNATIONAL CONFERENCE ON ALGORITHMS & ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP'96, PROCEEDINGS OF, 1996, : 495 - 501
  • [10] Formal method in implementation of atlas language
    Guo De-Gui
    Liu Lei
    COMPUTATIONAL METHODS, PTS 1 AND 2, 2006, : 1193 - +
12345