Formal specification and prototyping of a program specializer

被引：0
|
作者：
Blazy, S
Facon, P
机构：
来源：
TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT | 1995年 / 915卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper reports on the use of formal specifications in the development of a software maintenance tool for specializing imperative programs, which have become very complex due to extensive modifications. The tool is specified in terms of inference rules and operates by induction on the abstract syntax. The correctness of these rules is proved using rule induction. A Prolog prototype has been derived for Fortran programs, using the Centaur programming environment.
引用
收藏
页码：666 / 680
页数：15
相关论文
共 50 条
  • [31] Advantages of a Formal Specification of a Case From Informal Description via Formal Specification to Realization
    de Brock, Bert
    BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2022, 2022, 453 : 158 - 181
  • [32] HOW TO PRODUCE CORRECT SOFTWARE - AN INTRODUCTION TO FORMAL SPECIFICATION AND PROGRAM-DEVELOPMENT BY TRANSFORMATIONS
    BOITEN, EA
    PARTSCH, HA
    TUIJNMAN, D
    VOLKER, N
    COMPUTER JOURNAL, 1992, 35 (06): : 547 - 554
  • [33] Formal Specification of the Framework for NSSA
    Bhandari, Pardeep
    Singh, Manpreet
    2ND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING, COMMUNICATION & CONVERGENCE, ICCC 2016, 2016, 92 : 23 - 29
  • [34] Formal Specification of Topological Relations
    Asnina, Erika
    Osis, Janis
    Jansone, Asnate
    DATABASES AND INFORMATION SYSTEMS VII, 2013, 249 : 175 - +
  • [35] Formal specification of concurrent systems
    Chadha, HS
    Baugh, JW
    Wing, JM
    ADVANCES IN ENGINEERING SOFTWARE, 1999, 30 (03) : 211 - 224
  • [36] FORMAL SPECIFICATION IS AN EXPERIMENTAL SCIENCE
    BJORNER, D
    PROGRAMMING AND COMPUTER SOFTWARE, 1991, 17 (06) : 316 - 335
  • [37] FORMAL SPECIFICATION FOR DESIGN AUTOMATION
    LENART, M
    PADAWITZ, P
    PASZTOR, A
    FORMAL DESIGN METHODS FOR CAD, 1994, 18 : 201 - 220
  • [38] Formal specification of catalysis frameworks
    Filipe, JK
    Lau, KK
    Ornaghi, M
    Taguchi, K
    Yatsu, H
    Wills, A
    SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 180 - 187
  • [39] English as a formal specification language
    Schwitter, R
    13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
  • [40] A formal specification of document processing
    Brown, AL
    Mantha, S
    Wakayama, T
    MATHEMATICAL AND COMPUTER MODELLING, 1997, 25 (04) : 57 - 72
12345