首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Special issue: program equivalence
被引:2
|
作者
:
Strichman, Ofer
论文数:
0
引用数:
0
h-index:
0
机构:
Technion, IE, Informat Syst Engn, Haifa, Israel
Technion, IE, Informat Syst Engn, Haifa, Israel
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 条
[1]
Special issue: program equivalence
Ofer Strichman
论文数:
0
引用数:
0
h-index:
0
机构:
IE,Information Systems Engineering
Ofer Strichman
Formal Methods in System Design,
2018,
52
: 227
-
228
[2]
SPECIAL ISSUE ON STIMULUS EQUIVALENCE - FOREWORD
FIELDS, L
论文数:
0
引用数:
0
h-index:
0
机构:
CUNY,GRAD CTR,NEW YORK,NY 10021
CUNY,GRAD CTR,NEW YORK,NY 10021
FIELDS, L
PSYCHOLOGICAL RECORD,
1993,
43
(04):
: 543
-
546
[3]
Special issue on 'Program development'
Bruynooghe, M
论文数:
0
引用数:
0
h-index:
0
机构:
Katholieke Univ Leuven, Dept Comp Sci, B-3001 Heverlee, Belgium
Bruynooghe, M
THEORY AND PRACTICE OF LOGIC PROGRAMMING,
2002,
2
: 423
-
424
[4]
Special issue on program comprehension
Michael W. Godfrey
论文数:
0
引用数:
0
h-index:
0
机构:
University of Waterloo,David R. Cheriton School of Computer Science
Michael W. Godfrey
Arie van Deursen
论文数:
0
引用数:
0
h-index:
0
机构:
University of Waterloo,David R. Cheriton School of Computer Science
Arie van Deursen
Empirical Software Engineering,
2014,
19
: 1259
-
1260
[5]
Special issue on program debugging
论文数:
引用数:
h-index:
机构:
Ghosh, Sudipto
Li, J. Jenny
论文数:
0
引用数:
0
h-index:
0
机构:
Kean Univ, Dept Comp Sci, Union, NJ USA
Colorado State Univ, Dept Comp Sci, Ft Collins, CO 80523 USA
Li, J. Jenny
SOFTWARE QUALITY JOURNAL,
2017,
25
(01)
: 3
-
5
[6]
Special issue: Program algebra
Middelburg, CA
论文数:
0
引用数:
0
h-index:
0
机构:
Eindhoven Univ Technol, Dept Comp Sci, NL-5600 MB Eindhoven, Netherlands
Eindhoven Univ Technol, Dept Comp Sci, NL-5600 MB Eindhoven, Netherlands
Middelburg, CA
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING,
2002,
51
(02):
: 123
-
124
[7]
Special issue on program debugging
Sudipto Ghosh
论文数:
0
引用数:
0
h-index:
0
机构:
Colorado State University,Department of Computer Science
Sudipto Ghosh
J. Jenny Li
论文数:
0
引用数:
0
h-index:
0
机构:
Colorado State University,Department of Computer Science
J. Jenny Li
Software Quality Journal,
2017,
25
: 3
-
5
[8]
Special issue on program comprehension
Godfrey, Michael W.
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Waterloo, David R Cheriton Sch Comp Sci, Waterloo, ON N2L 3G1, Canada
Univ Waterloo, David R Cheriton Sch Comp Sci, Waterloo, ON N2L 3G1, Canada
Godfrey, Michael W.
论文数:
引用数:
h-index:
机构:
van Deursen, Arie
EMPIRICAL SOFTWARE ENGINEERING,
2014,
19
(05)
: 1259
-
1260
[9]
Special Issue: Asian 3 Foresight Program Special Issue Preface
Chen, Xuesi
论文数:
0
引用数:
0
h-index:
0
机构:
Chinese Acad Sci, Changchun Inst Appl Chem, Beijing 100864, Peoples R China
Chinese Acad Sci, Changchun Inst Appl Chem, Beijing 100864, Peoples R China
Chen, Xuesi
Park, Tae Gwan
论文数:
0
引用数:
0
h-index:
0
机构:
Korea Adv Inst Sci & Technol, Taejon, South Korea
Chinese Acad Sci, Changchun Inst Appl Chem, Beijing 100864, Peoples R China
Park, Tae Gwan
论文数:
引用数:
h-index:
机构:
Maruyama, Atsushi
JOURNAL OF CONTROLLED RELEASE,
2011,
155
(01)
: 1
-
1
[10]
Preface to the special issue on program comprehension
Siegmund, Janet
论文数:
0
引用数:
0
h-index:
0
机构:
Tech Univ Chemnitz, Software Engn, Chemnitz, Germany
Tech Univ Chemnitz, Software Engn, Chemnitz, Germany
Siegmund, Janet
Roy, Chanchal K.
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Saskatchewan, Dept Comp Sci, Saskatoon, SK, Canada
Tech Univ Chemnitz, Software Engn, Chemnitz, Germany
Roy, Chanchal K.
EMPIRICAL SOFTWARE ENGINEERING,
2020,
25
(03)
: 2137
-
2139
←
1
2
3
4
5
→