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 条
  • [41] Semi-automatic wrapper generation for Internet information sources
    Ashish, N
    Knoblock, CA
    PROCEEDINGS OF THE SECOND IFCIS INTERNATIONAL CONFERENCE ON COOPERATIVE INFORMATION SYSTEMS - COOPIS'97, 1997, : 160 - 169
  • [42] Semi-automatic Generation of Metamodels from Model Sketches
    Wueest, Dustin
    Seyff, Norbert
    Glinz, Martin
    2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 664 - 669
  • [43] Modeling literary style for semi-automatic generation of poetry
    Gervás, P
    USER MODELING 2001, PROCEEDINGS, 2001, 2109 : 231 - 233
  • [44] Semi-Automatic Generation of Metadata for Items in a Question Repository
    Ramesh, Rekha
    Mishra, Shitanshu
    Sasikumar, M.
    Iyer, Sridhar
    2014 IEEE SIXTH INTERNATIONAL CONFERENCE ON TECHNOLOGY FOR EDUCATION (T4E), 2014, : 222 - 228
  • [45] Semi-automatic Generation of CHR Solvers for Global Constraints
    Raiser, Frank
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, 2008, 5202 : 588 - 592
  • [46] Semi-Automatic Generation of Stream Surfaces via Sketching
    Tao, Jun
    Wang, Chaoli
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2018, 24 (09) : 2622 - 2635
  • [47] Spar: A programming language for semi-automatic compilation of parallel programs
    VanReeuwijk, K
    VanGemund, AJC
    Sips, HJ
    CONCURRENCY-PRACTICE AND EXPERIENCE, 1997, 9 (11): : 1193 - 1205
  • [48] Semi-Automatic Building Layout Generation for Virtual Environments
    Sepulveda, Gabriel K.
    Romero, Nicolas
    Vidal-Silva, Cristian
    Besoain, Felipe
    Barriga, Nicolas A.
    IEEE ACCESS, 2024, 12 : 87014 - 87022
  • [49] Towards provably correct code generation via horn logical continuation semantics
    Wang, Q
    Gupta, G
    Leuschel, M
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2005, 3350 : 98 - 112
  • [50] Semi-automatic differentiation
    Coleman, TF
    Santosa, F
    Verma, A
    COMPUTATIONAL METHODS FOR OPTIMAL DESIGN AND CONTROL, 1998, 24 : 113 - 126
12345