A LANGUAGE FOR VERIFIABLE MODULAR PROGRAMMING

被引：0
|
作者：
MALIK, MA
机构：
来源：
AUSTRALIAN COMPUTER JOURNAL | 1982年 / 14卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：137 / 142
页数：6
相关论文
共 50 条
  • [31] MODULAR PROGRAMMING IN COBOL
    HICKS, HT
    DATAMATION, 1968, 14 (05): : 50 - &
  • [32] PRACTICAL MODULAR PROGRAMMING
    FERGUSON, JR
    COMPUTER BULLETIN, 1970, 14 (03): : 91 - &
  • [33] MODULAR PROGRAMMING WITH PASCAL
    STEENSGAARDMADSEN, J
    SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (12): : 1331 - 1337
  • [34] PRACTICAL MODULAR PROGRAMMING
    JUDD, R
    COMPUTER BULLETIN, 1970, 14 (01): : 4 - &
  • [35] JALPA: a functional modular programming language with dynamic optimization based on term graph rewriting
    Yamanaka, Hideki
    Fujitsu Scientific and Technical Journal, 1994, 30 (01): : 112 - 125
  • [36] Network-based programming language education environment based on a modular program diagram
    Miyadera, Y
    Tsuchiya, A
    Yaku, T
    Konya, H
    1996 IEEE INTERNATIONAL CONFERENCE ON MULTI MEDIA ENGINEERING EDUCATION, CONFERENCE PROCEEDINGS, 1996, : 425 - 434
  • [37] Verifiable outsourcing computation for modular exponentiation from shareable functions
    Liu M.
    Wu Y.
    Xue R.
    Zhang R.
    Liu, Muhua (lxk0379@126.com), 1600, Springer (23): : 43 - 55
  • [38] Collaborative and Verifiable VNF Management for Metaverse With Efficient Modular Designs
    Liu, Dongxiao
    Huang, Cheng
    Xue, Liang
    Zhuang, Weihua
    Shen, Xuemin
    Ying, Bidi
    IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 2024, 42 (03) : 616 - 628
  • [39] A Verified, Efficient Embedding of a Verifiable Assembly Language
    Fromherz, Aymeric
    Giannarakis, Nick
    Hawblitzel, Chris
    Parno, Bryan
    Rastogi, Aseem
    Swamy, Nikhil
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [40] A non-interactive modular verifiable secret sharing scheme
    Li, Q
    Wang, ZF
    Niu, XM
    Sun, SH
    2005 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS, VOLS 1 AND 2, PROCEEDINGS: VOL 1: COMMUNICATION THEORY AND SYSTEMS, 2005, : 84 - 87
12345