ANNOTATED PROGRAM TRANSFORMATIONS

被引：0
|
作者：
KASYANOV, VN
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 405卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：171 / 180
页数：10
相关论文
共 50 条
  • [1] ANNOTATED PROGRAM TRANSFORMATIONS
    KASYANOV, VN
    [J]. FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE ////, 1989, 405 : 171 - 180
  • [2] Methods and tools for constructing reliable and efficient software via annotated program transformations
    Kasyanov, VN
    [J]. ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1996, 76 : 437 - 438
  • [3] PROGRAM TRANSFORMATIONS
    BALZER, R
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (01) : 1 - 2
  • [4] Witnessing Program Transformations
    Namjoshi, Kedar S.
    Zuck, Lenore D.
    [J]. STATIC ANALYSIS, SAS 2013, 2013, 7935 : 304 - 323
  • [5] A support tool for annotated program manipulation
    Kasyanov, VN
    [J]. FIFTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2001, : 85 - 94
  • [6] The Impact of Program Transformations on Static Program Analysis
    Namjoshi, Kedar S.
    Pavlinovic, Zvonimir
    [J]. STATIC ANALYSIS (SAS 2018), 2018, 11002 : 306 - 325
  • [7] AN ANNOTATED-BIBLIOGRAPHY OF INTERACTIVE PROGRAM STEERING
    GU, WM
    VETTER, J
    SCHWAN, K
    [J]. SIGPLAN NOTICES, 1994, 29 (09): : 140 - 148
  • [8] Program Transformations in the POLCA Project
    Kuper, Jan
    Schubert, Lutz
    Kempf, Kilian
    Glass, Colin
    Bonilla, Daniel Rubio
    Carro, Manuel
    [J]. PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 882 - 887
  • [9] A SYNTACTIC APPROACH TO PROGRAM TRANSFORMATIONS
    ARIOLA, ZM
    ARVIND
    [J]. SIGPLAN NOTICES, 1991, 26 (09): : 116 - 129
  • [10] Program transformations for information personalization
    Perugini, Saverio
    Ramakrishnan, Naren
    [J]. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2010, 36 (03) : 223 - 249
12345