Special issue: program equivalence

被引：2
作者：
Strichman, Ofer [1 ]
机构：
[1] Technion, IE, Informat Syst Engn, Haifa, Israel
来源：
FORMAL METHODS IN SYSTEM DESIGN | 2018年 / 52卷 / 03期
关键词：
D O I：
10.1007/s10703-018-0318-y
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：227 / 228
页数：2
相关论文
共 50 条
  • [31] Special issue on information retrieval for program comprehension
    Letha Etzkorn
    Tim Menzies
    [J]. Empirical Software Engineering, 2009, 14 : 1 - 4
  • [32] Special issue of the NEEDS-Environment program
    Radakovitch, O.
    Ciffroy, P.
    Le Roux, G.
    Thiry, Y.
    [J]. JOURNAL OF ENVIRONMENTAL RADIOACTIVITY, 2021, 227
  • [33] Correction to: Preface to the special issue on program comprehension
    Janet Siegmund
    Chanchal K. Roy
    [J]. Empirical Software Engineering, 2022, 27
  • [34] Special Issue on LAGR Program, Part II Foreword
    Jackel, Larry
    Wagner, Tom
    [J]. JOURNAL OF FIELD ROBOTICS, 2009, 26 (02) : 117 - 119
  • [35] Special issue on program comprehension (IWPC'99) - Preface
    Smith, D
    Woods, S
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2001, 40 (2-3) : 147 - 149
  • [36] JS']JSS special issue program debugging and repair
    Mayer, Wolfgang
    Jiang, Bo
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2019, 158
  • [37] Special issue on program generation, optimization, and platform adaptation
    Moura, JMF
    Püschel, M
    Padua, D
    Dongarra, J
    [J]. PROCEEDINGS OF THE IEEE, 2005, 93 (02) : 211 - 215
  • [38] Special Issue on Program Comprehension (ICPC 2008) Introduction
    Krikhaar, Rene
    Laemmel, Ralf
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2009, 74 (07) : 397 - 398
  • [39] Special issue on 'Semantics, applications, and implementation of program generation'
    Taha, W
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2003, 13 : 453 - 454
  • [40] THE ISSUE OF MOTOR EQUIVALENCE
    MARTENIUK, RG
    CARNAHAN, H
    [J]. BEHAVIORAL AND BRAIN SCIENCES, 1991, 14 (02) : 356 - 356
12345