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 条
  • [21] Towards the Generation of Correct Java']Java Programs
    Philippe, Jolan
    Loulergue, Frederic
    PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), 2018, : 1055 - 1056
  • [22] Towards a semi-automatic description of the multimedia image documents
    Ayadi, Yassine
    Amous, Ikram
    Jedidi, Anis
    Gargouri, Faiez
    INFORMATION MANAGEMENT IN THE NETWORKED ECONOMY: ISSUES & SOLUTIONS, 2007, : 203 - 209
  • [23] Towards Designing an Assistant for Semi-Automatic EMS Dispatching
    Reuter-Oppermann, Melanie
    Morana, Stefan
    Hottum, Peter
    PROCEEDINGS OF THE 50TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2017, : 3556 - 3565
  • [24] Towards semi-automatic annotations for video and audio corpora
    Masneri, S.
    Schreer, O.
    Schneider, D.
    Tschoepel, S.
    Bardeli, R.
    Bordag, S.
    Auer, E.
    Sloetjes, H.
    Wittenburg, P.
    LREC 2010 - SEVENTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, 2010, : A150 - A153
  • [25] Towards a Hybrid Semi-automatic Technique for Metamodel Matching
    Lafi, Laraine
    Feki, Jamel
    Hammoudi, Slimane
    PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2016), 2016, : 421 - 426
  • [26] Towards Generic Semi-Automatic Transformation Process in MDA
    Lafi, Lamine
    Brahmi, Zaki
    Feki, Jamel
    Hammoudi, Slimane
    2013 FOURTH INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGY AND ACCESSIBILITY (ICTA), 2013,
  • [27] A MATHEMATICAL APPROACH TOWARDS SEMI-AUTOMATIC IMAGE ANNOTATION
    Seneviratne, L.
    Izquierdo, E.
    19TH EUROPEAN SIGNAL PROCESSING CONFERENCE (EUSIPCO-2011), 2011, : 559 - 563
  • [28] Semi-automatic program generation with the aids of reusable modules
    Nishida, Fujio
    Takamatsu, Shinobu
    Fujita, Yoneharu
    Bulletin of the University of Osaka Prefecture, Series A Engineering and Natural Sciences, 1988, 37 (01): : 15 - 32
  • [29] Semi-automatic marking of Java']Java programs using JUnit
    Tremblay, G
    Labonté, T
    INTERNATIONAL CONFERENCE ON EDUCATION AND INFORMATION SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS, 2003, : 42 - 47
  • [30] Semi-automatic generation of a virtual representation of a production cell
    Thongnuch, Suthida
    Fay, Alexander
    Drath, Rainer
    AT-AUTOMATISIERUNGSTECHNIK, 2018, 66 (05) : 372 - 384
12345