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 条
  • [31] Semi-automatic generation of monitoring applications for wireless networks
    Lins, A
    Nakamura, EF
    Rocha, LS
    Loureiro, AAF
    Coelho, CJN
    ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 506 - 511
  • [32] Semi-automatic wrapper generation for commercial web sources
    Pan, A
    Raposo, J
    Alvarez, M
    Hidalgo, J
    Viña, A
    ENGINEERING INFORMATION SYSTEMS IN THE INTERNET CONTEXT, 2002, 103 : 265 - 283
  • [33] A methodology for the semi-automatic generation of analytical models in manufacturing
    Lechevalier, David
    Narayanan, Anantha
    Rachuri, Sudarsan
    Foufou, Sebti
    COMPUTERS IN INDUSTRY, 2018, 95 : 54 - 67
  • [34] A Concept for Semi-Automatic Generation of Digital Patient Models
    Denecke, Kerstin
    Cypko, Mario
    Deng, Yihan
    BIOMEDICAL ENGINEERING-BIOMEDIZINISCHE TECHNIK, 2014, 59 : S725 - +
  • [35] Semi-automatic generation of shear wall structural models
    Zhou, Xuhong
    Huang, Xuesi
    Liu, Jiepeng
    Cheng, Guozhong
    Wang, Lufeng
    Hu, Jiahao
    Liu, Pengkun
    Chen, Y. Frank
    STRUCTURES, 2023, 51 : 42 - 54
  • [36] A Hybrid Engineering Process for Semi-automatic Item Generation
    Ras, Eric
    Baudet, Alexandre
    Foulonneau, Muriel
    TECHNOLOGY ENHANCED ASSESSMENT, TEA 2016, 2017, 653 : 105 - 116
  • [37] Semi-automatic image generation for neural networks datasets
    Grave, Valentin
    Fukuda, Osamu
    Okumura, Hiroshi
    Yamaguchi, Nobuhiko
    2021 7TH INTERNATIONAL CONFERENCE ON ELECTRICAL, ELECTRONICS AND INFORMATION ENGINEERING (ICEEIE 2021), 2021, : 411 - 415
  • [38] Semi-automatic Generation Model of Elements in XBRL Taxonomy
    Wang, Ding
    Wang, Chaofeng
    Huang, Min
    Wang, Ying
    INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY II, PTS 1-4, 2013, 411-414 : 467 - +
  • [39] Data Mining Techniques for Semi-Automatic Signature Generation
    Tylman, Wojciech
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON DEPENDABILITY OF COMPUTER SYSTEMS, 2009, : 210 - 217
  • [40] Semi-Automatic Generation of Arabic Digital Talking Books
    Abu Doush, Iyad
    Alkhateeb, Faisal
    Bsoul, Abed Al Raoof
    2014 3RD INTERNATIONAL CONFERENCE ON USER SCIENCE AND ENGINEERING (I-USER), 2014, : 237 - 241
12345