Towards semi-automatic generation of provably correct algorithmic programs

被引：0
|
作者：
Shi, Haihe [1 ,2 ,3 ]
Xue, Jinyun [1 ,3 ]
机构：
[1] Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China
[2] Grad Univ Chinese Acad Sci, Beijing 100049, Peoples R China
[3] Jiangxi Normal Univ, Coll Comp Informat & Engn, Nanchang, Jiangxi 330027, Peoples R China
来源：
SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 3, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/SNPD.2007.170
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The paper gives an overview of a PAR-based Algorithm Design System PADS. PADS provides formal and semi-automatic support for the generation of algorithmic programs as well as loop invariants. It has several extensible built-in libraries that contain strategies and rules for PAR-based algorithm design. To illustrate the use of PADS, an example is given. PADS aims to bring a mechanizable and unified development process which starts from a high-level specification and results in provably correct products, meanwhile enables users with little mathematical knowledge about formal methods to develop algorithmic programs efficiently.
引用
收藏
页码：952 / +
页数：2
相关论文
共 50 条
  • [1] Provably Correct Automatic Subdifferentiation for Qualified Programs
    Kakade, Sham M.
    Lee, Jason D.
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), 2018, 31
  • [2] Automatic generation of provably correct parallelizing compilers
    Gupta, G
    Pontelli, E
    Lara-Rodriguez, A
    Felix-Cardenas, R
    1998 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING - PROCEEDINGS, 1998, : 579 - 586
  • [3] Semi-automatic Generation of Metamodels and Models From Grammars and Programs
    Kunert, Andreas
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 211 (111-119) : 111 - 119
  • [4] Semi-automatic generation of adaptable architectures
    Subramanian, N
    Chung, L
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 149 - 154
  • [5] Towards Semi-Automatic Reconstruction of Neural Circuits
    Albert Cardona
    Neuroinformatics, 2013, 11 : 31 - 33
  • [6] Towards Semi-Automatic Reconstruction of Neural Circuits
    Cardona, Albert
    NEUROINFORMATICS, 2013, 11 (01) : 31 - 33
  • [7] Towards Semi-automatic Construction of Data Mashups
    Lopez, Javier
    Bellas, Fernando
    Pan, Alberto
    Montoto, Paula
    TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENTS SYSTEMS, 2011, 90 : 137 - 144
  • [8] Towards centralized and semi-automatic VLAN management
    Li, Fuliang
    Yang, Jiahai
    An, Changqing
    Wu, Jianping
    Wang, Xingwei
    INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT, 2015, 25 (01) : 52 - 73
  • [9] Semi-automatic cartoon generation by motion planning
    Yu, Jun
    Tao, Dacheng
    Wang, Meng
    Cheng, Jun
    MULTIMEDIA SYSTEMS, 2011, 17 (05) : 409 - 419
  • [10] Semi-Automatic Multimodal User Interface Generation
    Ertl, Dominik
    EICS'09: PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, 2009, : 321 - 324
12345