A LANGUAGE FOR VERIFIABLE MODULAR PROGRAMMING

被引：0
|
作者：
MALIK, MA
机构：
来源：
AUSTRALIAN COMPUTER JOURNAL | 1982年 / 14卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：137 / 142
页数：6
相关论文
共 50 条
  • [21] MODULAR PROGRAMMING
    MACGOWAN, RA
    DATA PROCESSING, 1964, 6 (10): : 49 - 53
  • [22] An Interface for Programming Verifiable Autonomous Agents in ROS
    Cardoso, Rafael C.
    Ferrando, Angelo
    Dennis, Louise A.
    Fisher, Michael
    MULTI-AGENT SYSTEMS AND AGREEMENT TECHNOLOGIES, EUMAS 2020, AT 2020, 2020, 12520 : 191 - 205
  • [23] Verifiable concurrent programming using concurrency controllers
    Betin-Can, A
    Bultan, T
    19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 248 - 257
  • [24] Universally verifiable outsourcing and application to linear programming
    De Hoogh, Sebastiaan
    Schoenmakers, Berry
    Veeningen, Meilof
    Cryptology and Information Security Series, 2015, 13 : 186 - 215
  • [25] Verifiable Outsourcing Algorithms for Modular Exponentiations with Improved Checkability
    Ren, Yanli
    Ding, Ning
    Zhang, Xinpeng
    Lu, Haining
    Gu, Dawu
    ASIA CCS'16: PROCEEDINGS OF THE 11TH ACM ASIA CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2016, : 293 - 303
  • [26] WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems
    Shin, Ji-Yong
    Kim, Jieung
    Honore, Wolf
    Vanzetto, Hernan
    Radhakrishnan, Srihari
    Balakrishnan, Mahesh
    Shao, Zhong
    PROCEEDINGS OF THE 2019 TENTH ACM SYMPOSIUM ON CLOUD COMPUTING (SOCC '19), 2019, : 299 - 311
  • [27] LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
    Fakih, Mohamad
    Dharmaji, Rahul
    Moghaddas, Yasamin
    Araya, Gustavo Quiros
    Ogundare, Oluwatosin
    Al Faruque, Mohammad Abdullah
    2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE, ICSE-SEIP 2024, 2024, : 192 - 203
  • [28] MODULAR PROGRAMMING OF CURRICULA
    VANEIJL, PJ
    HIGHER EDUCATION, 1986, 15 (05) : 449 - 457
  • [29] THEMATIC MODULAR PROGRAMMING
    VANDERBOSCH, CG
    POLICE CHIEF, 1977, 44 (08): : 52 - &
  • [30] MODULAR LOGIC PROGRAMMING
    BROGI, A
    MANCARELLA, P
    PEDRESCHI, D
    TURINI, F
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (04): : 1361 - 1398
12345