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 条
  • [41] Safety analysis in formal specification
    Sere, K
    Troubitsyna, E
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1564 - 1583
  • [42] Formal Specification and Analysis of Firewalls
    Mejri, M.
    Adi, K.
    Fujita, H.
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2009, 199 : 284 - 293
  • [43] Formal Specification under Fuzziness
    Lopez, V.
    Montero, J.
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2009, 15 (2-3) : 209 - 228
  • [44] LANGUAGE FOR FORMAL PROBLEM SPECIFICATION
    GREIF, I
    COMMUNICATIONS OF THE ACM, 1977, 20 (12) : 931 - 935
  • [45] Formal specification of visual languages
    Gee, DM
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (07) : 359 - 367
  • [46] Formal specification and proof of Gridjack
    Mao, Li
    Qi, Deyu
    2012 FIFTH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN (ISCID 2012), VOL 1, 2012, : 110 - 114
  • [47] Hazard analysis in formal specification
    Sere, K
    Troubitsyna, E
    COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 350 - 360
  • [48] Formal and visual specification languages
    Hammad, A
    Tatibouët, B
    ISE'2001: PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON INFORMATION SYSTEMS AND ENGINEERING, 2001, : 173 - 179
  • [49] Specification Patterns: Formal and Easy
    Asteasuain, Fernando
    Braberman, Victor
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2015, 25 (04) : 669 - 700
  • [50] Formal specification and verification of VHDL
    Bickford, M
    Jamsek, D
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 310 - 326
12345