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 条
  • [1] Formal specification and prototyping of CORBA systems
    Bastide, R
    Sy, O
    Palanque, P
    ECOOP'99 - OBJECT-ORIENTED PROGRAMMING, 1999, 1628 : 474 - 494
  • [2] Formal specification and prototyping of multimedia applications
    Arndt, T
    Chang, SK
    Guercio, A
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2000, 10 (04) : 377 - 409
  • [3] FUNCTIONAL PROGRAMMING, FORMAL SPECIFICATION, AND RAPID PROTOTYPING
    HENDERSON, P
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) : 241 - 250
  • [4] Prototyping of VLSI components from a formal specification
    McConnell, R
    Lavenier, D
    JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 1996, 12 (02): : 177 - 186
  • [5] Formal specification of program slicing
    Wu, Fangjun
    ACM SIGPLAN NOTICES, 2006, 41 (12) : 18 - 27
  • [6] Tempo, a program specializer for C
    Marlet, R
    ACM SIGPLAN NOTICES, 2000, 35 (07) : 76 - 77
  • [7] An environment based on rewriting logic for parallel systems formal specification and prototyping
    Attoui, A
    JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 44 (02) : 79 - 105
  • [8] Formal Specification of Security Guidelines for Program Certification
    Zhioua, Zeineb
    Roudier, Yves
    Ameur-Boulifa, Rabea
    PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 95 - 102
  • [9] A formal specification and prototyping language for multi-core system management
    Iliasov, A.
    Rafiev, A.
    Xia, F.
    Gensh, R.
    Romanovsky, A.
    Yakovlev, A.
    23RD EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2015), 2015, : 696 - 700
  • [10] A tour of Tempo: a program specializer for the C language
    Consel, C
    Lawall, JL
    Le Meur, AF
    SCIENCE OF COMPUTER PROGRAMMING, 2004, 52 (1-3) : 341 - 370
12345